Discrete mathematics for computer science - Haggard (Thomson Brooks/Cole, 2005)