@Book{Liu85,
    Author       = "Liu, C.L.",
    Year         = "1985",
    Title        = "{Elements of Discrete Mathematics}",
    Publisher    = "McGraw-Hill",
    Comment      = "TPTPRef"
}