1. Yu. L. Ershov, “A hierarchy of sets, 1,” Algebra i Logika,7, No. 1, 47–74 (1968).
2. A. I. Mal'tsev, “Algorithms and recursive functions,” Nauka (1965).
3. J. W. Addison, “The method of alternating chains,” in: The Theory of Models, North Holland, Amsterdam (1965), pp. 1–16.
4. S. Feferman, “Classification of recursive functions by means of hierarchies,” Trans. Math. Soc.104, No. 1, 101–122 (1962).
5. S. Feferman and C. Spector, “Incompleteness along paths in progressions of theories,” J. Symb. Logic,27, No. 4, 383–390 (1962).