Automata on in¯nite objects (1990)

by W Thomas
Venue:Handbook of Theoretical Computer Science, chapter 4