J P Tremblay/ R Manohar Discrete mathematical structure with application to computer science - New Delhi TMH 2000