Discrete mathematics for computer scientists - Truss, J. K. (England, 1999)