Kunal Agrawal I.-Ting Angelina Lee Jim Sukha Safe open-nested transactions through ownership. 151-162 2009 PPOPP http://doi.acm.org/10.1145/1504176.1504200 conf/ppopp/2009 db/conf/ppopp/ppopp2009.html#AgrawalLS09