Wolfgang Thomas. Automata on Infinite Objects. In Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B). pages 133-192, 1990.
@incollection{Thomas90:4, title = {Automata on Infinite Objects}, author = {Wolfgang Thomas}, year = {1990}, tags = {meta-model, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/Thomas90%3A4}, cites = {0}, citedby = {0}, pages = {133-192}, booktitle = {Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)}, }