Discrete structures, logic, and compatibility - Hein, James L. (Jones and Barlett Publishers, 2002)