Sequential optimization of asynchronous and synchronous finite-state machines algorithms and tools - Fuhrer, Robert M. (Kluwer Academic Publishers, 2001)