Martín Abadi Andrew Birrell Tim Harris Johnson Hsieh Michael Isard Implementation and Use of Transactional Memory with Dynamic Separation. 63-77 2009 CC http://dx.doi.org/10.1007/978-3-642-00722-4_6 conf/cc/2009 db/conf/cc/cc2009.html#AbadiBHHI09