Contemporary Logic Design by Jack Katz, Randy Katz & Gaetano Boriello