Digital logic and state machine design - Comer, David J (Holt, Rinehart and Winston, New York, 1984)