@InCollection{vON99,
    Author       = "von Oheimb, D. and Nipkow, T.",
    Year         = "1999",
    Title        = "{Machine-Checking the Java Specification: Proving
                    Type-Safety}",
    Editor       = "Alves-Foss, J.",
    BookTitle    = "{Formal Syntax and Semantics of Java}",
    Series       = "Lecture Notes in Computer Science",
    Pages        = "119-156",
    Comment      = "TPTPRef"
}