Recognizable Languages of k-Forcing Automata | Publicación