Bibliography

[1] T. Villa, and A. Sangiovanni-Vincentelli, "NOVA: State Assignment of Finite State Machines for Optimal Two-Level Logic Implementation", IEEE Trans. on Computer-Aided Design, vol. 9, No. 9, Sep. 1990.