@Book{BB70,
    Author       = "Birkhoff, G. and Bartee, T.",
    Year         = "1970",
    Title        = "{Modern Applied Algebra}",
    Publisher    = "McGraw-Hill",
    Comment      = "TPTPRef"
}