[1] PОДЖЕРС X.: Теория рекурсивных функций и эффективная вычислимость. Москва 1972. Zbl 0982.78512

[2] М. РТИН-ЛЕФ П.: Очерки по конструктивной математике. Москва 1975. Zbl 1170.01354

[3] ДЕМУТ О., КРЫЛ Р., КУЧЕРА А.: Об использовании теории функций частичнорекурсивных относительно числовых множеств в конструктивной математике. Асta Univ. Carolinae, Math. et Physica 19 (1978), 15-60. MR 0509638 | Zbl 1130.91322

[4] ДЕМУТ О.: Об измеримости множеств по Лебегу в конструктивной математике. Соmment. Math. Univ. Carolinae 10 (1969), 463-492. MR 0259055 | Zbl 1149.62317

[5] ДЕМУТ О.: О конструктивных псевдочислах. Соmment. Math. Univ. Carolinae16 (1975), 315-331. Zbl 1170.01354

[6] ДЕМУТ О.: О дифференцируемости конструктивных функций слабо ограниченной вариации на псевдочислах. Соmment. Math. Univ. Carolinae 16 (1975), 583-599. MR 0476442 | Zbl 1170.01354

[7] ДЕМУТ О.: О конструктивном аналоге теоремы Данжуа-Янга о проивводных числах. Соmment. Math. Univ. Carolinae 17 (1976), 111-126. MR 0403927 | Zbl 1170.01332

[8] ДЕМУТ О.: О конструктивном аналоге теоремы К. М. Гарга о производных числах. Соmment. Math. Univ. Carolinae 21 (1980), 457-472. MR 0590126 | Zbl 1170.01312

[9] ЕРSTEIN R. L.: Degrees of Unsolvability: Structure and Theory. Lecture Notes in Math., Springer-Verlag, 1979. MR 0551620