TPTP Reference: BM65


@Book{BM65,
    Author       = "Birkhoff, G. and MacLane, S.",
    Year         = "1965",
    Title        = "{A Survey of Modern Algebra}",
    Publisher    = "Macmillan",
    Comment      = "TPTPRef"
}