Roscoe, A. (1993). Developing and verifying protocols in CSP. TU Eindhoven.
Citace podle Chicago (17th ed.)Roscoe, A. Developing and Verifying Protocols in CSP. TU Eindhoven, 1993.
Citace podle MLA (9th ed.)Roscoe, A. Developing and Verifying Protocols in CSP. TU Eindhoven, 1993.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..