@inproceedings{POPL11,
  author = {Mark Batty and Scott Owens and Susmit Sarkar and Peter Sewell and Tjark Weber},
  title = {Mathematizing {C++} Concurrency},
  booktitle = {POPL '11: Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  month = jan,
  year = 2011,
  pages = {55--66},
  publisher = {ACM Press},
  doi = {10.1145/1926385.1926394}}