Nitpicking c++ concurrency (2011)

by J C Blanchette, T Weber, M Batty, S Owens, S Sarkar
Venue:In Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming, PPDP ’11