An efficient incremental DFA minimization algorithm | Publicación