Fast State Minimization of Incompletely Specified Sequential Machines. - Parveen K. Gupta; Donald L. Dietmeyer (IEEE Trans. Computers, 1973)