Discrete Mathematics for Computer Scientists - Truss, J. K. (International computer science series, 1992)