Discrete mathematical structures with applications to computer science - Tremblay, Jean-Paul (McGraw-Hill computer science series, 1997)