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