-E. Goto/K. Araki/T. Yuasa (Eds.): RIMS Symposia on Software Science and Engineering 11. Proceedings, Springer-Verlag 1983 and 1984, 1986