@InProceedings{BH+14,
    Author       = "Blanchette, J. and H{\"o}lzl, J. and Lochbihler, A. and
                    Panny, L. and Popescu, A. and Traytel, D.",
    Year         = "2014",
    Title        = "{Truly Modular (Co)datatypes for Isabelle/HOL}",
    Editor       = "Klein, G. and Gamboa, R.",
    BookTitle    = "{Proceedings of the 5th International Conference on
                    Interactive Theorem Proving}",
    Place        = "Vienna, Austria",
    Series       = "Lecture Notes in Computer Science",
    Number       = "8558",
    Pages        = "93-110",
    Publisher    = "Springer-Verlag",
    Comment      = "TPTPRef"
}