1. Aspects of Effective Algebra, Proceedings of a Conference at Monash University, 1979, edited by J.N. Crossley.
2. C.J. Ash, A. Nerode, Intrinsically Recursive Relations, Aspects of Effective Algebra, Proceeding of a Conference at Monash University, Australia, 1979.
3. R. Buchi, The Monadic Theory of ω1, in: Decidable Theories II, Lecture Notes in Mathematics, 328, 1–127.
4. R. Buchi, D. Siefkes, Axiomatization of the Monadic second Order Theory of ω1, in: Decidable Theories II, Lect. Not. in Mathematics, 328, 127–215.
5. S. Eilenberg, Automata, Languages, and Mashines, vol. A, Academic Press, New York, 1974.