1. L. Aceto, B. Bloom, and F.W. Vaandrager. Turning SOS rules into equations. Information and Computation, 111(1):1–52 1994.
2. J.C.M. Baeten and J.A. Bergstra. Process algebra with partial choice. In B. Jonsson and J. Parrow, editors, Proc. CONCUR ‘84, pages 465–480. Uppsala, Springer Verlag, 1994. LNCS 836.
3. J.C.M. Baden, J.A. Bergstra, and J.W. Klop. Syntax and defining equations for an interrupt mechanism in process algebra. Fund. Inf., IX(2):127–168, 1986.
4. J.C.M. Baeten and R.J. van Glabbeek. Merge and termination in process algebra. In K.V. Nori, editor, Proc. FSThITCS 7, pages 153–172. Pune, Springer Verlag, 1987. LNCS 287.
5. J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge Tracts in Theoretical Computer Science 18. Cambridge University Press, 1990.