"Extending word problems in deterministic finite automata."

Mikhail V. Berlinkov, Robert Ferens, Marek Szykula (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics