You are about to access our book library "RIMS Symposium on Software Science and Engineering: Kyoto, 1982. Proceedings full version" .