1. J.C.M. Baeten (1986): Procesalgebra. Programmatuurkunde. Kluwer, Deventer. In Dutch.
2. J.C.M. Baeten, J.A. Bergstra & J.W. Klop (1987): On the consistency of Koomen's fair abstraction rule. Theoretical Computer Science 51(1/2), pp. 129–176.
3. Lecture Notes in Computer Science 267;J. C. M. M. Baeten,1987
4. J. van Benthem, J. van Eijck & V. Stebletsova (1993): Modal logic, transition systems and processes. Report CS-R9321, CWI, Amsterdam.
5. J.A. Bergstra, J.W. Klop & E.-R. Olderog (1987): Failures without chaos: a new process semantics for fair abstraction. In M. Wirsing, editor: Formal Description of Programming Concepts — III, Proceedings of the 3thIFIP WG 2.2 working conference, Ebberup 1986, North-Holland, Amsterdam, pp. 77–103.