Discrete mathematical Structures with Application to Computer Science - Tremblay, J. P. (New Delhi TMH, 2008)