Hoare, C. A. R., & He, J. (1985). Algebraic specification and proof of properties of communicating sequential processes.
Chicago-Zitierstil (17. Ausg.)Hoare, Charles A. R., und Jifeng He. Algebraic Specification and Proof of Properties of Communicating Sequential Processes. Oxford, 1985.
MLA-Zitierstil (9. Ausg.)Hoare, Charles A. R., und Jifeng He. Algebraic Specification and Proof of Properties of Communicating Sequential Processes. 1985.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.