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