@inproceedings{TPHOLS09,
  author = {Scott Owens and Susmit Sarkar and Peter Sewell},
  title = {A Better x86 Memory Model: {x86-TSO}},
  booktitle = {Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009},
  editor = {Stefan Berghofer and Tobias Nipkow and Christian Urban and Makarius Wenzel},
  year = 2009,
  month = aug,
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = 5674,
  pages = {391--407},
  doi = {10.1007/978-3-642-03359-9_27}}