Discrete mathematics for computer scientists - Stein, Clifford (Pearson, 2011)