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