1. Process Algebra;Baeten,1990
2. Polarized process algebra and program equivalence;Bergstra,2003
3. Program algebra for sequential code;Bergstra;Journal of Logic and Algebraic Programming,2002
4. J.A. Bergstra, C.A. Middelburg, Maurer computers for pipelined instruction processing, Computer Science Report 06-12, Department of Mathematics and Computer Science, Eindhoven University of Technology, March 2006
5. Splitting bisimulations and retrospective conditions;Bergstra;Information and Computation,2006