Digital logic and state machine design - Comer, David (Saunders College Publishing, 1995)