Discrete Mathematical Structures With Applications To Computer Science - Trembley, J.P.; MANOHAR, R. (NEW DELHI, 2000)