1. M. O. Rabin, Trans. Am. Math. Soc. 95, 341–360 (1960).
2. Yu. L. Ershov, Ziets. Math. Logik Grundl. Math. 23, 289–371 (1977).
3. S. S. Goncharov and Yu. L. Ershov, Constructive Models (Nauchnaya Kniga, Novosibirsk, 1999) [in Russian].
4. A. V. Aho, J. E. Hopcroft, and J. D. Ullman, The Design and Analysis of Computer Algorithms (Addison-Wesley, Reading, Mass., 1976).
5. D. Cenzer and J. Remmel, Ann. Pure Appl. Logic 54, 17–58 (1991).