Digital logic and state machine design - COMER (Sauders College Pub., 1995)