@inproceedings{PPDP11,
  author = {Jasmin Christian Blanchette and Tjark Weber and Mark Batty and Scott Owens and Susmit Sarkar},
  title = {Nitpicking {C++} Concurrency},
  booktitle = {PPDP '11: Proceedings of the 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming},
  month = jul,
  year = 2011,
  publisher = {ACM Press},
  pages = {113--124},
  doi = {10.1145/2003476.2003493}}