Automata, Languages and Programming
scientific article; zbMATH DE number 2245779