Microprogrammed State Machine Design - Michel A. Lynch (Taylor and Francis, 1993)