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