Microprogrammed state machine design - Lynch, Michel A. (CRC Press, 1993)