Roscoe, A. (1993). Developing and verifying protocols in CSP. TU Eindhoven.
Chicago-Zitierstil (17. Ausg.)Roscoe, A. Developing and Verifying Protocols in CSP. TU Eindhoven, 1993.
MLA-Zitierstil (9. Ausg.)Roscoe, A. Developing and Verifying Protocols in CSP. TU Eindhoven, 1993.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.