Discrete mathematics for computer science - Haggard, Gary; Schlipf, John; Whitesides, Sue (Thomson Brooks/Cole, 2006)