1. Zucker J.I. and Bakker J.W. (1982). Processes and the denotational semantics of concurrency. Information Control 54(1/2): 70–120
2. Bergstra, J.A., Bethke, I.: Polarized process algebra and program equivalence. In: Baeten, J.C.M., Lenstra, J.K., Parrow, J., Woeginger, G.J. (eds.) Automata, Languages and Programming, 30th International Colloquium, ICALP, LNCS, vol. 2719, pp. 1–21. Springer, Eindhoven, 30 June–4 July 2003)
3. Bergstra, J.A., Bethke, I.: Predictable and reliable program code: virtual machine-based projection semantics. In: Electronic Report PRG0603, Programming Research Group, University of Amsterdam. Submitted for inclusion in the Handbook of Network and Systems Administration (2006)
4. Bergstra J.A. and Klop J.W. (1984). Process algebra for synchronous communication. Information Control 60(1/3): 109–137
5. Bergstra J.A. and Loots M.E. (2002). Program algebra for sequential code. J. Logic Algebraic Program. 51(2): 125–156