Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values. - Jesse D. Bingham; Anne Condon; Alan J. Hu; Shaz Qadeer; Zhichuan Zhang (CAV, 2004)