RIMS symposia on software science and engineering : PROCEEDINGS, KYOTO, 1982. - Goto, Eiichi (Lecture Notes in Computer Science ;, 1983)