1. W.M.P. van der Aalst. A Class of Petri Nets for Modeling and Analyzing Business Processes. Computing Science Report 95/26, Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven, The Netherlands, 1995.
2. W.M.P. van der Aalst. Petri-Net-based Workflow Management Software. In A. Sheth, editor, Proceedings of the NFS Workshop on Workflow and Process Automation in Information Systems, pages 114–118, Athens, Georgia, USA, May 1996.
3. J.C.M. Baeten and W.P. Weijland. Process Algebra, volume 18 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, UK, 1990.
4. T. Basten. Branching Bisimilarity is an Equivalence indeed! Information Processing Letters, 58(3):141–147, May 1996.
5. T. Basten and W.M.P. van der Aalst. A Process-Algebraic Approach to Life-Cycle Inheritance: Inheritance=Encapsulation+Abstraction. Computing Science Report 96/05, Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven, The Netherlands, March 1996.