1. J.C.M. Baeten & J.A. Bergstra, Global renaming operators in concrete process algebra, report CS-R8521, Centre for Math. & Comp. Sci., Amsterdam 1985. To appear in Inf. & Computation.
2. J.A. Bergstra & J.W. Klop, Fixed point semantics in process algebras, report IW 206, Mathematical Centre, Amsterdam 1982.
3. J.A. Bergstra & J.W. Klop, Process algebra for synchronous communication, Inf. & Control 60 (1/3), pp. 109–137, 1984.
4. J.A. Bergstra & J.W. Klop, Algebra of communicating processes, in: Proc. CWI Symp. Math. & Comp. Sci. (J.W. de Bakker, M. Hazewinkel & J.K. Lenstra, eds.), pp. 89–138, North-Holland, Amsterdam 1986.
5. J.A. Bergstra, J.W. Klop & E.-R. Olderog, Failures without chaos: a new process semantics for fair abstraction, in: Proc. IFIP Conf. on Formal Description of Programming Concepts-III, Ebberup 1986, (M. Wirsing, ed.), North-Holland, Amsterdam, pp. 77–103, 1987.