Michael F. Spear Luke Dalessandro Virendra J. Marathe Michael L. Scott Ordering-Based Semantics for Software Transactional Memory. 275-294 2008 OPODIS http://dx.doi.org/10.1007/978-3-540-92221-6_19 conf/opodis/2008 db/conf/opodis/opodis2008.html#SpearDMS08