Mathematical Foundations of Programming Semantics: International Conference Manhattan, Kansas, April 11–12, 1985 Proceedings 1986 · ENGLISH · DJVU View details →