1. C.J. Ash and A. Nerode, Intrinsically recursive relations, in: Aspects of Effective Algebra, Proceedings of a Conference at Monash University, Australia, 1979.
2. A characterization of computable data types by means of a finite specifications method;Bergstra,1980
3. Decidability of the theory of one function;Ehrenfeucht;Notices Amer. Math. Soc.,1959
4. Theory of Enumeration;Ershov,1977