1. G. Addison, “Theory of hierarchies,” Symp. Mathematical Logic and Its Applications, Mir, Moscow (1965), pp. 23–36.
2. A. I. Mal'tsev, Algorithms and Recursive Functions, Nauka (1965).
3. L. Hay, “Isomorphism types of index sets of partial recursive functions,” Proc. Amer. Math. Soc.,17, 106–110 (1966).
4. L. Hay, “One-one degree of index sets of finite classes of finite sets,” Notices Amer. Math. Soc.,14, 844 (1967).
5. W. Markwald, “Ein Satz uber die elementararithmetischen Definiterbarkeitsklassen,” Archiv fur Math. Logik und Grundl. 2/2–4, 78–86 (1956).