Download Synthesis Of Finite State Machines Functional Optimization 1997