Acronyms von A bis Z
LNCS1322
-H. Hussmann: Formal Foundations for Software Engineering Methods. Springer-Verlag 1997
-H. Hussmann: Formal Foundations for Software Engineering Methods. Springer-Verlag 1997