DISCRETE MATHEMATICAL STRUCTURES WITH APPLICATION TO COMPUTER SCIENCE - TREMBLAY, J.P. (NEW DELHI TATA MC GRAW HILL PUB. CO. LTD., 2005)