Acronyms von A bis Z
LNCS1422
-J. Jeuring (Ed.): Mathematics of Program Construction. Proceedings, Springer-Verlag 1998
-J. Jeuring (Ed.): Mathematics of Program Construction. Proceedings, Springer-Verlag 1998