Nathan Chong Samin Ishtiaq Reasoning about the ARM weakly consistent memory model. 16-19 2008 MSPC http://doi.acm.org/10.1145/1353522.1353528 conf/asplos/2008mspc db/conf/asplos/mspc2008.html#ChongI08