Hoare, C. A. R., Brookes, S. D., & Roscoe, A. W. (1981). A theory of communicating sequential processes. Oxford University Computing Laboratory, Programming Research Group.

Hoare, C. A. R., S. D. Brookes, and A. W. Roscoe. A Theory of Communicating Sequential Processes. Oxford: Oxford University Computing Laboratory, Programming Research Group, 1981.

Hoare, C. A. R., et al. A Theory of Communicating Sequential Processes. Oxford University Computing Laboratory, Programming Research Group, 1981.