Discrete mathematical structures with applications to computer science - J.P.TREMBLAY (New York. McGraw-Hill Book Co., 1975)