1. R. I. Freidzon, ?Regular approximations of recursive predicates,? J. Sov. Math.,1, No. 1, 126?131 (1973).
2. S. C. Kleene, Introduction to Metamathematics, Van Nostrand, New York (1952).
3. I. D. Zaslavskii and G. S. Tseitin, ?Singular coverings and related properties of constructive functions,? Trudy Matem. Inst.,67, 458?502 (1962).
4. A. I. Mal'tsev, Algorithms and Recursive Functions [in Russian], Moscow (1965).