@Book{NPW02,
    Author       = "Nipkow, T. and Paulson, L. and Wenzel, M.",
    Year         = "2002",
    Title        = "{Isabelle/HOL: A Proof Assistant for Higher-Order Logic}",
    Series       = "Lecture Notes in Computer Science",
    Number       = "2283",
    Publisher    = "Springer-Verlag",
    Comment      = ""
}