Automata on Infinite Objects. (1990)

by W Thomas
Venue:Handbook of Theoretical Computer Science