1. E. Specker, ?Nicht konstruktive bewisbare Sätze der Analysis,? J. Symbolic Logic,14, No. 3, 145?158 (1949).
2. V. A. Uspenskii, Lectures on Computable Functions [in Russian], Fizmatgiz, Moscow (1960).
3. A. H. Lachlan and E. W. Madison, ?Computable fields and arithmetically definable ordered fields,? Proc. Am. Math. Soc.,24, No. 4, 803?807 (1970).
4. A. I. Mal'tsev, Algorithms and Recursive Functions [in Russian], Nauka, Moscow (1965).
5. Yu. L. Ershov, Theory of Numberings [in Russian], Nauka, Moscow (1977).