Acronyms von A bis Z
LNCS375
-J.L.A. van de Snepscheut (Ed.): Mathematics of Progra Construction, Proceedings 1989, Springer-Verlag 1989
-J.L.A. van de Snepscheut (Ed.): Mathematics of Progra Construction, Proceedings 1989, Springer-Verlag 1989