@inproceedings{c++-popl11,
title     = {Mathematizing {C++} Concurrency},
author    = {Mark Batty and
             Scott Owens and
             Susmit Sarkar and
             Peter Sewell and
             Tjark Weber},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Principles of Programming Languages (POPL)},
month     = {January},
year      = {2011},
}