Discrete mathematics for computer science - Haggard, Gary (Thomson Learning, 2006)