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