Automata on innite objects (1990)

by W Thomas
Venue:Handbook of Theoretical Computer Science