A new method for the state reduction of incompletely specified finite sequential machines | Publicación