1. Lecture Notes in Computer Science;S.D. Brookes,1985
2. Hoare, C.A.R. Communicating sequential processes. Comm. ACM 21 (1978), 666–677.
3. Hoare, C.A.R. Communicating Sequential Processes. Prentice Hall, New York, 1985.
4. Kaldewaij, A. A Formalism for Concurrent Processes. Doctoral Dissertation, Eindhoven University of Technology, Eindhoven, 1986.
5. Kung, H.T. Let's design algorithms for VLSI systems. In: Proc. 1st Caltech Conference (C.L. Seitz, ed.). California Institute of Technology, Pasadena, 1979, 65–90.