global transaction support for workflow management systems : from formal specification to practical the vldb journal the international journal on very large & hellip ; , 2001.0
p grefen , j vonk , p apers