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