1. S. S. Marchenkov, Elementary Recursive Functions (MTsNMO, Moscow, 2003) [in Russian].
2. A. V. Kuznetsov, “To the theorem of the canonical form of ordinal-recursive functions,” in R. L. Goodstein Mathematical Logic (Inostrannaya Literatura, Moscow, 1961), pp. 149–154 [in Russian].
3. R. M. Smullyan, Theory of Formal Systems (Princeton Univ. Press, 1962; Nauka, Moscow, 1981).
4. L. Kalmar, “Ein Einfach Beispiel Fur Unentscheibares Problem,” Matematikai es Fizikai Lapok, No. 50, 1–23 (1943).
5. A. Grzegorczyk, “Some classes of recursive functions,” Rozpr. Mat. 4, 1–46 (1953).