Discrete mathematical structures with applications to computer science - Tremblay, J P; Manohar, R (TATA McGraw-Hill Publishing Co., 2003)