Discrete mathematical structure with application to computer science - Tremblay, J. P.; Manohar R. (New Delhi TataMcGraw-Hill, 1997)