Roscoe, A. (1993). Developing and verifying protocols in CSP. TU Eindhoven.
Lua i Stíl Chicago (17ú heag.)Roscoe, A. Developing and Verifying Protocols in CSP. TU Eindhoven, 1993.
Lua MLA (9ú heag.)Roscoe, A. Developing and Verifying Protocols in CSP. TU Eindhoven, 1993.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.