Acronyms. 2013.
LNCS125 — E. Engeler (Ed.): Logic of Programs, Proceedings 1979, Springer Verlag 1981 … Acronyms von A bis Z