Acronyms. 2013.
LNCS300 — H. Ganzinger (Ed.): ESOP 88, Proceedings 1988, Springer Verlag 1988 … Acronyms von A bis Z