Sebastian Burckhardt Madanlal Musuvathi Vasu Singh Verifying Local Transformations on Relaxed Memory Models. 104-123 2010 CC http://dx.doi.org/10.1007/978-3-642-11970-5_7 conf/cc/2010 db/conf/cc/cc2010.html#BurckhardtMS10