Vijay A. Saraswat Radha Jagadeesan Maged M. Michael Christoph von Praun A theory of memory models. 161-172 2007 conf/ppopp/2007 PPOPP http://doi.acm.org/10.1145/1229428.1229469 db/conf/ppopp/ppopp2007.html#SaraswatJMP07