Acronyms von A bis Z
LNCS442
-Main/Melton/Mislove/Schmidt (Eds.): Mathematical Foundations of Programming Semantics, Proceedings 1989, Springer-Verlag 1990
-Main/Melton/Mislove/Schmidt (Eds.): Mathematical Foundations of Programming Semantics, Proceedings 1989, Springer-Verlag 1990