Sequential optimization of asynchronous and synchronous finite-state machines : algorithms and tools by Robert M. Fuhrer. ISBN 0792374258. Published by Kluwer Academic Publishers in 2001. Publication and catalogue information, links to buy online and reader comments.