RIMS symposia on software science and engineering : PROCEEDINGS, KYOTO, 1982.. - Goto, Eiichi (Berlin : Springer Verlag, 1983)