Digital Logic and State Machine Design (Series in Electrical Engineering) by

A nice touch in this textbook is the checklist of learning outcomes at the start.