"Recognizability for Automata."

Didier Caucal, Chloé Rispal (2018)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics