@Book{BHS07,
    Author       = "Beckert, B. and Hahnle, R. and Schmitt, P.",
    Year         = "2007",
    Title        = "{Verification of Object-Oriented Software: The KeY
                    Approach}",
    Series       = "Lecture Notes in Computer Science",
    Number       = "4334",
    Publisher    = "Springer-Verlag",
    Comment      = "TPTPRef"
}