DISCRETE MATHEMATICAL STRUCTURES WITH APPLICATIONS TO COMPUTER SCIENCE - TREMBLAY, J. P. (McGraw-Hill Inc., 1975)