Eiichi Goto Koichi Furukawa Reiji Nakajima Ikuo Nakata Akinori Yonezawa RIMS Symposium on Software Science and Engineering Lecture Notes in Computer Science 147 Springer 1983 3-540-11980-9 db/conf/rims/rims1982.html