A new algorithm for exact reduction of incompletely specified finite state machinesJorge Martínez Peña, Arlindo L. OliveiraIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems journal