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