Compensable Transactions - Hoare, T (Springer, 2008)