1. R. I. Soare, Recursively Enumerable Sets and Degrees, Springer-Verlag, Berlin (1987).
2. R. O. Gandy, “General recursive functionals of finite type and hierarchies of functions,” Ann. Fac. Sci. Univ. Clermont-Ferrand, 35, No. 4, 5-24 (1967).
3. J. Harrison, “Recursive pseudo well-orderings,” Trans. Am. Math. Soc., 131, No. 2, 526-543 (1968).
4. M. J. Raw, “Complexity of automorphisms of recursive linear orders,” Ph.D. Thesis, Univ. Wisconsin-Madison (1995).
5. K. Ambos-Spies, S. B. Cooper, and S. Lempp, “Initial segments of recursive linear orders,” Order, 14, No. 2, 101-105 (1998).