Wil M. P. van der Aalst H. M. W. Verbeek Akhil Kumar Verification of XRL: An XML-based Workflow Language. 427-432 2001 conf/cscwd/2001 CSCWD http://dx.doi.org/10.1109/CSCWD.2001.942298 db/conf/cscwd/cscwd2001.html#AalstVK01