1. Lecture Notes in Business Information Processing;WMP Aalst van der,2008
2. Arkin, A., Askary, S., Bloch, B., Curbera, F., Goland, Y., Kartha, N., Liu, C.K., Thatte, S., Yendluri, P., Yiu, A. (eds.) Web Services Business Process Execution Language Version 2.0. Committee Draft. WS-BPEL TC OASIS (2005)
3. Bezem, M., Klop, J.W., de Vrijer, R.: “Terese” Term Rewriting Systems. Cambridge University Press, Cambridge (2003)
4. Cerone, A.: From process algebra to visual language. In: Proceedings of the Conference on Application and Theory of Petri Nets: Formal Methods in Software Engineering and Defence Systems, vol. 12, Adelaide (2002)
5. Lecture Notes in Computer Science;BF Dongen van,2004