Digital logic and state machine design - Comer, David J (NEWYORK SAUNDERS, 1995)