1. Process algebra: equational theories of communicating processes;Baeten,2010
2. On the consistency of Koomen’s fair abstraction rule;Baeten;Theoretical Computer Science,1987
3. J.A. Bergstra, J.W. Klop, Fixed point semantics in process algebra. Technical Report IW 206, Mathematical Centre, Amsterdam, the Netherlands, 1982.
4. A convergence theorem in process algebra;Bergstra,1992
5. Elements of Mathematics: Algebra 1;Bourbaki,1989