(1993). Specification and proof in real-time CSP / Jim Davies.
Chicago Style (17. basım) AtıfSpecification and Proof in Real-time CSP / Jim Davies. 1993.
MLA (9th ed.) AtıfSpecification and Proof in Real-time CSP / Jim Davies. 1993.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..