Kluwer Academic Publishers, Boston 1997, ISBN 0-7923-9842-4* Tiziano Villa, "Synthesis of Finite State Machines: Logic Optimization".
Kluwer Academic Publishers, Boston 1997, ISBN 0-7923-9842-4*Tiziano Villa, "Synthesis of Finite State Machines: Logic Optimization".