• Katz/Boriello, Contemporary Logic Design, 2/E