1. The metric space of infinite trees: algebraic and topological properties;Arnold;Fund. Inform.,1980
2. Centers of languages;Boasson;Proc. 5th G.I., Lecture Notes in Computer Science,1981
3. On a decision method in restricted second order arithmetic;Büchi;Proc. Cong. Logic Method and Philosophy of Science,1960
4. Fundamentals of infinite trees;Courcelle;Theoret. Comput. Sci.,1983
5. Tree acceptors and some of their applications;Doner;J. Comput. System Sci.,1970