@techreport{N3132,
  author = {Mark Batty and Scott Owens and Susmit Sarkar and Peter Sewell and Tjark Weber},
  title = {Mathematizing {C++} Concurrency: The Post-{Rapperswil} Model},
  institution = {ISO IEC JTC1/SC22/WG21},
  number = {N3132},
  year = 2010,
  month = aug,
  note = {\url{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2010/n3132.pdf}}}