Some theorems for incompletely specified sequential machines with applications to state minimizationJ.C. BeattyR.E. Miller1962SWCT 1962