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