Mathematical Foundation of Programming Semantics International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings | EKB DL