Bakhadyr Khoussainov Sasha Rubin Automatic Structures: Overview and Future Directions. 287-301 2003 8 Journal of Automata, Languages and Combinatorics 2 db/journals/jalc/jalc8.html#KhoussainovR03