Eric Koskinen Maurice Herlihy Checkpoints and continuations instead of nested transactions. 160-168 2008 SPAA http://doi.acm.org/10.1145/1378533.1378563 conf/spaa/2008 db/conf/spaa/spaa2008.html#KoskinenH08