You are about to access our book library "RIMS Symposium on Software Science and Engineering II: Proceedings of the Symposia 1983 and 1984, Kyoto, Japan (Lecture Notes in Computer Science, 220) full version" .