Some theorems for incompletely specified sequential machines with applications to state minimizationJ.C. BeattyR.E. Miller1962SWCT 1962
On some properties of the semigroup of a machine which are preserved under state minimizationJ.C. Beatty1967Information and Control