@Book{Bun83,
    Author       = "Bundy, A.",
    Year         = "1983",
    Title        = "{The Computer Modelling of Mathematical Reasoning}",
    Publisher    = "Academic Press",
    Comment      = "TPTPRef"
}