Acronyms. 2013.
LNCS164 — E. Clarke/D. Kozen (Eds.): Logics of Programs, Proceedings 1983, Springer Verlag 1984 … Acronyms von A bis Z