RIMS symposia on software science and engineering II : PROCEEDINGS OF THE SYMPOSIA 1983 AND 1984, KYOTO, JAPAN. - Goto, Eiichi; Araki, Keijiro (Berlin : Springer Verlag, 1986)