Discrete Mathematical Structures with Applications to Computer Science - Tremblay, J P (Tata McGraw Hill Co, 1997)