1. Bloom, S.L., Ésik, Z.: Algebraic ordinals. Fundamenta Informaticae 99(4), 384–407 (2010)
2. Böhm, S., Göller, S., Jančar, P.: Equivalence of deterministic one-counter automata is NL-complete. In: STOC 2013 (to appear, 2013)
3. Büchi, J.R.: On a decision method in restricted second order arithmetics. In: Nagel, E., et al. (eds.) Proc. Intern. Congress on Logic, Methodology and Philosophy of Science, pp. 1–11. Stanford University Press, Stanford (1962)
4. Cantor, G.: Beiträge zur Begründung der transfiniten Mengenlehre, II. Math. Annalen 49, 207–246 (1897)
5. Lecture Notes in Computer Science;D. Caucal,2002