1. Aalst, W.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)
2. Van Der Aalst, W.M.P., Ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distrib. Parallel Databases 14(1), 5–51 (2003)
3. Bird, R.: Introduction to Functional Programming using Haskell. In: Hoare, C.A.R., Bird, R. (eds.) International Series in Computer Science. Prentice-Hall International, Englewood Cliffs (1998)
4. Dumas, M., ter Hofstede, A.H.: UML Activity Diagrams as a Workflow Specifcation Language. Technical report, Cooperative Information Systems Research Centre, Queensland University of Technology GPO Box 2434, Brisbane QLD 4001, Australia (November 2003)
5. Lecture Notes in Computer Science;R. Eshuis,2003