Anne Condon Alan J. Hu Automatable verification of sequential consistency. 113-121 2001 SPAA http://doi.acm.org/10.1145/378580.378604 db/conf/spaa/spaa2001.html#CondonH01