Kunal Agrawal Charles E. Leiserson Jim Sukha Memory models for open-nested transactions. 70-81 2006 Memory System Performance and Correctness http://doi.acm.org/10.1145/1178597.1178610 conf/ACMmsp/2006 db/conf/ACMmsp/msp2006.html#AgrawalLS06