Vladimir Levin Robert Palmer Shaz Qadeer Sriram K. Rajamani Sound Transaction-Based Reduction Without Cycle Detection. 106-122 2005 conf/spin/2005 SPIN http://dx.doi.org/10.1007/11537328_11 db/conf/spin/spin2005.html#LevinPQR05