Extended symbolic finite automata and transducers
scientific article; zbMATH DE number 6496666
scientific article