Xing, Xuemin (1999) Ad-hoc recovery in workflow systems : formal model and a prototype system. Masters thesis, Memorial University of Newfoundland.