1. Andrews G., “Concurrent Programming: Principles and Practice,” Benjamin/Cummings (1991).
2. Full abstraction for a shared-variable parallel language;Brookes;Information and Computation,1996
3. Brookes S., The essence of Parallel Algol. Proc. 11th IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, 164–173 (1996). To appear in Information and Computation.
4. Brookes S., Idealized CSP: Combining Procedures with Communicating Processes. Mathematical Foundations of Programming Semantics, 13th Conference, March 1997, Electronic Notes in Theoretical Computer Science 6, Elsevier Science (1997). URL: http://www.elsevier.nl/locate/entcs/volume6.html.
5. Brookes S., Communicating Parallel Processes. In: Millenium Perspectives in Computer Science, Proceedings of the Oxford-Microsoft Symposium in honour of Professor Sir Antony Hoare, edited by Jim Davies, Bill Roscoe, and Jim Woodcock, Palgrave Publishers (2000).