APA (7th ed.) Citation

Hoare, C. A. R., & He, J. (1985). Algebraic specification and proof of properties of communicating sequential processes.

Chicago Style (17th ed.) Citation

Hoare, Charles A. R., and Jifeng He. Algebraic Specification and Proof of Properties of Communicating Sequential Processes. Oxford, 1985.

MLA (9th ed.) Citation

Hoare, Charles A. R., and Jifeng He. Algebraic Specification and Proof of Properties of Communicating Sequential Processes. 1985.