@InProceedings{CK+15,
    Author       = "Caminati, M. and Kerber, M. and Lange, C. and Rowat, C.",
    Year         = "2015",
    Title        = "{Sound Auction Specification and Implementation}",
    Editor       = "Feldman, M. and Schwarz, M. and Roughgarden, T.",
    BookTitle    = "{Proceedings of the 16th ACM Conference on Economics and
                    Computation}",
    Place        = "Portland, USA",
    Pages        = "547-564",
    Publisher    = "ACM Press",
    Comment      = "TPTPRef"
}