Discrete mathematics for computer scientists - Truss, J. K (International Computer Science Series, 1991)