{. Aalst, N. Lohmann, P. Massuthe, C. Stahl, und K. Wolf. Informal Proceedings of the 4th International Workshop on Web Services and Formal Methods (WS-FM 2007), Seite 119--134. QUT, Brisbane, Australia, (2007)
{. Aalst, N. Lohmann, P. Massuthe, C. Stahl, und K. Wolf. Proceedings of the 4th International Workshop on Web Services and Formal Methods (WS-FM 2007), Volume 4937 von Lecture Notes in Computer Science, Seite 139--153. Springer-Verlag, Berlin, (2008)
{. Aalst, A. Mooij, C. Stahl, und K. Wolf. Formal Methods for Web Services, Volume 5569 von Lecture Notes in Computer Science, Seite 42--88. Springer-Verlag, Berlin, (2009)