1. Syntax and defining equations for an interrupt mechanism in process algebra;Baeten;Fund. Inform.,1986
2. On the consistency of Koomen's fair abstraction rule;Baeten;Theoret. Comput. Sci.,1987
3. Another look at abstraction in process algebra (extended abstract);Baeten,1987
4. J.C.M. Baeten, C. Verhoef, Concrete process algebra, in: S. Abramsky, D.M. Gabbay, T.S.E. Maibaum (Eds.), Handbook of Logic in Computer Science, Vol. 4, Oxford University Press, Oxford, 1995, pp. 149–268.
5. J.C.M. Baeten, W.P. Weijland, Process Algebra, Cambridge Tracts in Theoretical Computer Science, Vol. 18, Cambridge University Press, Cambridge, 1990.