Acronyms. 2013.
LNCS321 — J. Zwiers: Compositionality Concurrency and Partial Correctness, Springer Verlag 1989 … Acronyms von A bis Z