Languages, Automata, and Logic (1997)

by W Thomas
Venue:Handbook of Formal Languages