Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

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

Παραπομπή σε μορφή MLA (8th εκδ.)

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