Automata on Infinite Objects (1990)

by W Thomas
Venue:In Handbook of Theoretical Computer Science