@inproceedings{owens+:x86tso,
  author    = {Scott Owens and Susmit Sarkar and Peter Sewell},
  title     = {A better x86 memory model: {x86-TSO}},
  booktitle = {Proceedings of Theorem Proving in Higher Order Logics (TPHOLs)},
  year      = {2009},
  pages     = {391--407},
  series    = {Lecture Notes in Computer Science},
  volume    = {5674},
}