@InProceedings{BW+11,
    Author       = "Blanchette, J. and Weber, T. and Batty, M. and Owens, S.
                    and Sarkar, S.",
    Year         = "2011",
    Title        = "{Nitpicking C++ Concurrency}",
    Editor       = "Hanus, M.",
    BookTitle    = "{Proceedings of the 13th International ACM SIGPLAN
                    Symposium on Principles and Practice of Declarative
                    Programming}",
    Place        = "Odense, Denmark",
    Pages        = "113-124",
    Publisher    = "ACM Press",
    Comment      = ""
}