[3] ДЕМУТ О., КРЫЛ Р., КУЧЕРА А.: 
Об исподьеовамии теории функций частнчнорекурсивных относительно числовых множеств в конструктивной математике. Acta Univ. Carolinae, Math. at Physica 19 (1978), 15-60. 
MR 0509638 | 
Zbl 1130.91322[4] ДЕМУТ О.: 
Некоторые вопроси теории конструктмвннх функций действительной переменной. Acta Univ. Carolinae, Math. at Physica 19(1978), 61-96. 
MR 0509639 | 
Zbl 1130.91322[5] ДЕМУТ О.: 
О конструктмвннх псевдочислах. Comment. Math. Univ. Carolinae 16(1975), 315-331. 
MR 0381955 | 
Zbl 1170.01354[6] ДЕМУТ О.: 
О дифференцируемостн конструктивных функций слабо ограниченной вариации на псевдочислах. Comment. Math. Univ. Carolinae 16 (1975), 583-599. 
MR 0476442 | 
Zbl 1170.01354[7] ДЕМУТ О.: 
О конструктивном аналоге теоремн К. М. Гарга о производных числах. Comment. Math. Univ. Carolinae 21(1980), 457-472. 
MR 0590126 | 
Zbl 1170.01312[8] ДЕМУТ О.: 
О псевдодифференцируемостн равномерно непрерывных конструктивинх функций по функциям того же типа. Comment. Math. Univ. Carolinae 22 (1981), 497-512. 
MR 0633578 | 
Zbl 1170.01413[9] ДЕМУТ О.: 
О6 одной обобщении конструктивного аналога теоремы К. М. Гарга. Comment. Math. Univ. Carolinae 22 (1981),  607-620. 
MR 0633588 | 
Zbl 0593.93001[10] ДЕМУТ О.: 
О некоторых классах арифметических действительных чисел. Comment. Math. Univ. Carolinae 23 (1982), 453-465. 
MR 0677854 | 
Zbl 1171.03330[11] ДЕМУТ О.: 
О борелевых типах некоторых классов арифметических действхтельннх чисел. Comment. Math. Univ. Carolinae 23 (1982), 593-606. 
MR 0653348 | 
Zbl 1171.03330[12] ДЕМУТ О.: 
Об арифметической сложности дифференцирования в конструктивной математике. Comment. Math. Univ. Carolinae 24 (1983), 301-316. 
Zbl 1171.53341