Minimization of incompletely specified finite state machines based on distinction graphs | Publicación