Discrete mathematical structures with applications to computer science. - Tremblay, J.P (Computer science series, 1975)