Discrete mathematics for computer scientists - Truss, John K. (Pearson Education, 2001)