automata, and logic (1997)

by Languages
Venue:Handbook of Formal Languages, volume 3, Beyond Words, chapter 7