1. J.A. Bergstra & J.W. Klop (1985): Algebra of communicating processes with abstraction. Theoretical Computer Science 37(1), pp. 77–121.
2. J.A. Bergstra & J.W. Klop (1988): A complete inference system for regular processes with silent moves. In F.R. Drake & J.K. Truss, editors: Proceedings Logic Colloquium 1986, Hull, North-Holland, pp. 21–81. First appeared as: Report CS-R8420, CWI, Amsterdam, 1984.
3. R.J. van Glabbeek (1990): The linear time — branching time spectrum. In J.C.M. Baeten & J.W. Klop, editors: Proceedings CONCUR 90, Amsterdam, LNCS 458, pp. 278–297.
4. R.J. van Glabbeek & W.P. Weijland (1990): Branching time and abstraction in bisimulation semantics. Technical Report TUM-I9052, SFB-Bericht Nr. 342/29/90 A, Institut für Informatik, Technische Universität München, Munich, Germany. Extended abstract in G.X. Ritter, editor: Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Fransisco, USA 1989, Elsevier Science Publishers B.V. (North-Holland), 1989, pp. 613–618.
5. R. Milner (1984): A complete inference system for a class of regular behaviours. Journal of Computer and System Sciences 28, pp. 439–466.