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