@article{cs-06-1,
  title = {{x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors}},
  author = {Sewell, Peter and Sarkar, Susmit and Owens, Scott and Nardelli, Francesco Zappa and Myreen, Magnus O.},
  journal = {Communications of the ACM},
  year = {2010},
  doi = {10.1145/1785414.1785443},
  url = {https://www.cl.cam.ac.uk/~pes20/weakmemory/cacm.pdf}
}

@inproceedings{cs-06-2,
  title = {{Foundations of the C++ concurrency memory model}},
  author = {Boehm, Hans-J. and Adve, Sarita V.},
  booktitle = {Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation},
  year = {2008},
  doi = {10.1145/1375581.1375591},
  url = {https://experts.illinois.edu/en/publications/foundations-of-the-c-concurrency-memory-model-2/}
}

@inproceedings{cs-06-3,
  title = {{Mathematizing C++ concurrency}},
  author = {Batty, Mark and Owens, Scott and Sarkar, Susmit and Sewell, Peter and Weber, Tjark},
  booktitle = {Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
  year = {2011},
  doi = {10.1145/1926385.1926394},
  url = {https://www.cl.cam.ac.uk/~pes20/cpp/popl085ap-sewell.pdf}
}