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