1. Bennett, J. H., “On spectra,” Ph.D. thesis, Princeton University, 1962.
2. Boolos, G. S. and R. C. Jeffrey, Computability and Logic, Third Edition, Cambridge University Press, Cambridge, 1989. Zbl 0708.03001 MR 90h:03001
3. Brainerd, W. S. and L. H. Landweber, Theory of Computation, Wiley, New York, 1974. MR 53:4590
4. Cleave, J. P., “A hierarchy of primitive recursive functions,” Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 331–345. Zbl 0224.02031 MR 28:2970
5. Constable, R. L. and A. B. Borodin, “Subrecursive programming languages, part I: Efficiency and program structure,” Journal of the Association for Computing Machinery, vol. 19 (1972), pp. 526–568. Zbl 0259.68036