RIMS symposia on software science and engineering II : PROCEEDINGS OF THE SYMPOSIA 1983 AND 1984, KYOTO, JAPAN - Goto, Eiichi; Araki, Keijiro (Lecture Notes in Computer Science ;, 1986)