Dirk Fahland Towards Analyzing Declarative Workflows. 2007 Autonomous and Adaptive Web Services http://drops.dagstuhl.de/opus/volltexte/2007/1033 conf/dagstuhl/2007P7061 db/conf/dagstuhl/P7061.html#Fahland07