Discrete mathematics for computing - Haggarty, Rod (Pearson, 2002)