1. Baeten,J.C.M., Bergstra,J.A.: Process Algebra with a Zero Object. In Proc. Concur'90, Springer-Verlag LNCS 458 (1990) 83–98.
2. Bergstra,J.A., Klop,J.W.: Process Theory based on Bisimulation Semantics. In LNCS 354 (1989) 50–122.
3. Baeten,J., Weijland, P.: Process Algebras. Cambridge University Press (1990).
4. De Nicola,R., Labella,A.: A Functorial Assessment of Bisimulation. Internal Report, Università di Roma “La Sapienza”, SI-92-06 (1992).
5. De Nicola,R., Labella,A.: A Completeness Theorem for Nondeterministic Kleene Algebras. In Proc. MFCS'94, Springer-Verlag LNCS 841 (1994) 536–545.