APA引文

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

Chicago Style (17th ed.) Citation

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

MLA引文

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

警告：這些引文格式不一定是100％准確.