APA (7th ed.) Citation

Zwiers, J. (1989). Compositionality, concurrency, and partial correctness: Proof theories for networks of processes and their relationship. Springer-Verlag.

Chicago Style (17th ed.) Citation

Zwiers, J. Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes and Their Relationship. Berlin ; New York: Springer-Verlag, 1989.

MLA (9th ed.) Citation

Zwiers, J. Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes and Their Relationship. Springer-Verlag, 1989.