@InProceedings{Gun93,
    Author       = "Gunter, E.",
    Year         = "1993",
    Title        = "{Why We Can't have SML Style datatype Declarations in HOL}",
    Editor       = "Claesen, L. and Gordon, M.",
    BookTitle    = "{Proceedings of the IFIP Tc10/wg 10.2 International Workshop on Higher Order
                    Logic Theorem Proving and its Applications}",
    Place        = "Leuven, Belgium",
    Series       = "IFIP Transactions A: Computer Science and Technology",
    Pages        = "561-568",
    Comment      = ""
}