APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Zwiers, J. Compositionality, Concurrency and Partial Correctness: Proof Theories for Networks of Processes, and Ther Relationship. Berlin: Springer, 1989.

MLA (8th ed.) Citation

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