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