RIMS symposia on software science and engineering II : proceedings of the symposia 1983 and 1984, Kyoto, Japan / - Gotō, Eiichi; Araki, Keijirō; Yuasa, T. (Springer-Verlag, 1986)