Some theorems for incompletely specified sequential machines with applications to state minimization | IEEE Conference Publication | IEEE Xplore