Acronyms. 2013.
LNCS1169 — M. Broy/S. Merz/K. Spies (Eds.): Formal Systems Specification. Springer Verlag 1996 … Acronyms von A bis Z