Torvald Riegel Christof Fetzer Heiko Sturzrehm Pascal Felber From causal to z-linearizable transactional memory. 340-341 2007 conf/podc/2007 PODC http://doi.acm.org/10.1145/1281100.1281162 db/conf/podc/podc2007.html#RiegelFSF07