Discrete mathematics for computer scientists - Truss, J. K. (International computer science series, 1991)