RIMS Symposia on Software Science and Engineering (Springer, 1983)