Discrete Mathematics for Computer Scientists - Truss, J. K. (Addison-Wesley, 1991)