Roscoe, A. (1993). Developing and verifying protocols in CSP. TU Eindhoven.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)Roscoe, A. Developing and Verifying Protocols in CSP. TU Eindhoven, 1993.
MLA -ийн эшлэл (9 дэх хэвлэлт)Roscoe, A. Developing and Verifying Protocols in CSP. TU Eindhoven, 1993.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.