Digital logic and state machine design - Comer, David J. (HRW series in electrical and computer engineering, 1984)