@article{CACM10,
  author = {Peter Sewell and Susmit Sarkar and Scott Owens and Zappa Nardelli, Francesco and Magnus O. Myreen},
  title = {{x86-TSO}: A Rigorous and Usable Programmer's Model for x86 Multiprocessors},
  journal = {Communications of the ACM},
  volume = 53,
  number = {7},
  pages = {89--97},
  month = jul,
  year = 2010,
  doi = {10.1145/1785414.1785443}}