Acronyms. 2013.
LNCS270 — E. Börger (Ed.): Computation Theory and Logic, Springer Verlag 1987 … Acronyms von A bis Z