Synthesis of finite state machines : logic optimization - Villa, Tiziano, 1953- (Kluwer Academic, 1997)