Automata on infinite objects (1990)

by W THOMAS
Venue:In Handbook of Theoretical Computer Science. Vol. B: Formal Models and Semantics. Elsevier Science