Dan Grossman Jeremy Manson William Pugh What do high-level memory models mean for transactions? 62-69 2006 Memory System Performance and Correctness http://doi.acm.org/10.1145/1178597.1178609 conf/ACMmsp/2006 db/conf/ACMmsp/msp2006.html#GrossmanMP06