1. Apt, K. R., Francez, N., and de Roever, W. P., A Proof System for Communicating Sequential Processes, ACM TOPLAS, Vol. 2 No. 3, July 1980.
2. Brookes, S. D., A Model for Communicating Sequential Processes, Ph. D. thesis, Oxford University (1983). Available as CMU Technical Report CMU-CS-83-149 and PRG Monograph.
3. Brookes, S. D., Hoare, C. A. R., and Roscoe, A. W., A Theory of Communicating Sequential Processes, Oxford University Computing Laboratory, Programming Research Group, Technical Report PRG-16.
4. Brookes, S. D., Hoare, C. A. R., and Roscoe, A. W., A Theory of Communicating Sequential Processes, JACM July 1984.
5. Brookes, S. D., and Roscoe, A. W., An Improved failures Model for Communicating Processes (full version of this paper), to appear, CMU Technical Report.