@Book{Qua92-Book,
    Author       = "Quaife, A.",
    Year         = "1992",
    Title        = "{Automated Development of Fundamental Mathematical
                    Theories}",
    Publisher    = "Kluwer Academic Publishers",
    Comment      = "TPTPRef"
}