Discrete Mathematical Structures with Applications to Computer Science - TREMBLAY, J. P. (New York. McGraw-Hill Book Co., 1975)