Acronyms. 2013.
LNCS131 — D. Kozen (Ed.): Logics of Programs, Proceedings 1981, Springer Verlag 1982 … Acronyms von A bis Z