Languages, automata, and logic (1997)

by W Thomas
Venue:Handbook of Formal Language Theory, volume III