@techreport{TR745,
  author = {Scott Owens and Susmit Sarkar and Peter Sewell},
  title = {A Better x86 Memory Model: {x86-TSO} (Extended Version)},
  institution = {University of Cambridge, Computer Laboratory},
  number = {UCAM-CL-TR-745},
  year = 2009,
  month = mar,
  note = {\url{http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-745.pdf}}}