Digital logic state machine design - Comer, David J. (Oxford University Press, 1995)