DISCRETE mathematical structures with applications to computer science - J.P.Tremblay,R. Manuhar