RIMS symposia on software science and engineering, Kyoto, 1982 : proceedings - Gotō, Eiichi, 1931- (Springer, 1983)