1. Aalbersberg, IJ.J. & G. Rozenberg, Theory of traces, Technical Report No. 86-16, Institute of Applied Mathematics and Computer Science, University of Leiden, 1986.
2. Baeten, J.C.M. & J.A. Bergstra, Global renaming operators in concrete process algebra, CWI Report CS-R8521, Amsterdam, 1985.
3. Baeten, J.C.M., J.A. Bergstra & J.W. Klop, On the consistency of Koomen's fair abstraction rule, CWI Report CS-R8511, Amsterdam, 1985, to appear in Theor. Comp. Sci.
4. Baeten, J.C.M., J.A. Bergstra & J.W. Klop, An operational semantics for process algebra, CWI Report CS-R8522, Amsterdam, 1985, to appear in: Proc. Banach semester, Warschau 1985, North-Holland.
5. Bergstra, J.A. & J.W. Klop, Process algebra for synchronous communication, Information & Control 60 (1/3), 1984, pp. 109–137.