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