1. An equational axiomatization for multi-exit iteration;Aceto;Inform. and Comput.,1997
2. Decidability of bisimulation equivalence for processes generating context-free languages;Baeten;J. ACM,1993
3. A congruence theorem for structured operational semantics with predicates;Baeten,1993
4. Process Algebra;Baeten,1990
5. J. Bergstra, I. Bethke, A. Ponse, Process algebra with iteration, Report CS-R9314, Programming Research Group, University of Amsterdam, 1993