Manfred Droste Heiko Vogler 115 2003 8 Journal of Automata, Languages and Combinatorics 2 db/journals/jalc/jalc8.html#DrosteV03