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