Discrete mathematical structures with applications to computer science - Tremblay, J.P. & Manohar, R. (Tata McGraw Hill, New Delhi, 1997)