1. Springer Monographs in Mathematics;J Bang-Jensen,2009
2. Barjis, J.: Developing Executable Models of Business Systems. INSTICC - Institute for Systems and Technologies of Information, Control and Communication, Setubal (2007)
3. Brand, D., Zafiropulo, P.: On communication finite-state machines. J. ACM 30(2), 323–342 (1983)
4. Dietz, J.L.G.: Enterprise Ontology: Theory and Methodology. Springer, Berlin (2006)
5. van Hee, K., Oanea, O., Post, R., Somers, L., van der Werf, J.: Yasper: a tool for workflow modeling and analysis. In: Sixth International Conference on Application of Concurrency to System Design, 2006. ACSD 2006, pp. 279–282, June 2006