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