Logic : a computer approach - Schagrin, Morton L. (McGraw-Hill Book Company, 1985)