RIMS Symposium on Software Science and Engineering II Proceedings of the Symposia 1983 and 1984, Kyoto, Japan Goto Eiichi Heftet / 1986 / Engelsk