Separating Compensation Concerns and Programming them with Compensating Automata, Christian Colombo and Gordon J. Pace, Department of Computer Science, University of Malta. Technical Report CS2012-01, 2012. (PDF) (BiBTeX entry) [for an updated version of the work see the PhD thesis further up in this list]