APA-Zitierstil (7. Ausg.)

(1996). Proof planning the verification of CCS programs.

Chicago-Zitierstil (17. Ausg.)

Proof Planning the Verification of CCS Programs. Edinburgh, 1996.

MLA-Zitierstil (9. Ausg.)

Proof Planning the Verification of CCS Programs. 1996.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.