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