Roscoe, A. (1993). Developing and verifying protocols in CSP. TU Eindhoven.
芝加哥风格引文Roscoe, A. Developing and Verifying Protocols in CSP. TU Eindhoven, 1993.
MLA引文Roscoe, A. Developing and Verifying Protocols in CSP. TU Eindhoven, 1993.
警告：这些引文格式不一定是100％准确.