"Verification of XRL: An XML-based Workflow Language."

Wil M. P. van der Aalst, H. M. W. Verbeek, Akhil Kumar (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics