You are about to access our book library "Mathematical Foundation of Programming Semantics: International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings (Lecture Notes in Computer Science, 239) full version" .