@inproceedings{sarkar+:x86cc,
  author    = {Susmit Sarkar and
               Peter Sewell and
               Francesco Zappa Nardelli and
               Scott Owens and
               Tom Ridge and
               Thomas Braibant and
               Magnus O. Myreen and
               Jade Alglave},
  title     = {The semantics of x86-CC multiprocessor machine code},
  booktitle = {Proceedings of ACM SIGPLAN Principles of Programming Languages},
  year      = {2009},
  pages     = {379-391},
  ee        = {http://doi.acm.org/10.1145/1480881.1480929},
}