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

Roscoe, A. (1993). Developing and verifying protocols in CSP. TU Eindhoven.

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

Roscoe, A. Developing and Verifying Protocols in CSP. TU Eindhoven, 1993.

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

Roscoe, A. Developing and Verifying Protocols in CSP. TU Eindhoven, 1993.