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

[2] ДЕМУТ O.: Некоторые вопросы теории конструктивных функций действительной переменной. Acta Univ. Carolinae - Маth. et Physica 19 (1978), 61-96. Zbl 1130.91322

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

[4] ДЕМУТ O.: О конструктивных псевдочислах. Comment. Math. Univ. Carolinae 16 (1975), 315-331. MR 0381955 | Zbl 1170.01354

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

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

[7] ДЕМУТ О.: О некоторнх классах арифметических действительннх чисел. Comment. Math. Univ. Carolinae 23 (1982), 453-465. MR 0677854 | Zbl 1171.03330

[8] ДЕМУТ О.: О бореловнх типах некоторнх классов арифметических действительных чисел. Comment. Math. Univ. Carolinae 23 (1982), 593-606. MR 0677866 | Zbl 1171.03330

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

[10] РОUR-ЕL М. В., RICHARDS I.: Diferentiability properties of computable functions - а summarу. Асta Суbernetiса 4 (1978), 123-125. MR 0521457