Acronyms von A bis Z
LNCS947
-B. Möller (Ed.): Mathematics of Program Construction, Springer-Verlag Proceedings 1995
-B. Möller (Ed.): Mathematics of Program Construction, Springer-Verlag Proceedings 1995