-Goto et al. (Eds.): RIMS Symposia on Software Science and Engineering, Proceedings 1982, Springer-Verlag 1983