Machine properties preserved under state minimizationC.C. ElgotJ.D. Rutledge1962SWCT 1962Conference paper
Generation of self-dual threshold functions and lower bounds of the number of threshold functions and a maximum weightSaburo Muroga1962SWCT 1962Conference paper
Some theorems for incompletely specified sequential machines with applications to state minimizationJ.C. BeattyR.E. Miller1962SWCT 1962Conference paper