Automata on infinite objects (1990)

by W Thomas
Venue:In Handbook of Theoretical Computer Science, volume B