@TechReport{MP90,
    Author       = "Manna, Z. and Pnueli, A.",
    Year         = "1990",
    Title        = "{Tools and Rules for the Practicing Verifier}",
    Number       = "CS-TR-90-1321",
    Institution  = "Department of Computer Science, Stanford University",
    Address      = "Stanford, USA",
    Comment      = "TPTPRef"
}