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