Acronyms. 2013.
LNCS124 — W. Polak: Compiler Specification and Verification, Springer Verlag 1981 … Acronyms von A bis Z