RIMS Symposium on Software Science and Engineering 1982: Kyoto, Japan