M. Butler, C. Hoare, and C. Ferreira. 25 Years Communicating Sequential Processes, volume 3525 of Lecture Notes in Computer Science, page 133-150. Springer, (2004)
J. Augusto, M. Butler, C. Ferreira, and S. Craig. Ershov Memorial Conference, volume 2890 of Lecture Notes in Computer Science, page 207-213. Springer, (2003)