[1] ROGERS H., Jr.: Theory of recursive functions and effective computability. McGraw-Hill, New York, 1967. MR 0224462 | Zbl 0183.01401

[2] CEĬTIN G. S.: Algorithmic operators in constructive metric spaces. Trudy Mat. Inst. Steklov 67 (1962), 295-361; English transl. Amer. Math. Soc. Transl. (2) 64 (1967), 1-80. MR 0152426

[3] ZASLAVSKIĬ I. D.: Some properties of constructive real numbers and constructive functions. Trudy Mat. Inst. Steklov 67 (1962), 385-457; English transl. Amer. Math. Soc. Transl. (2) 57 (1966), 1-84. MR 0153555

[4] ZASLAVSKIĬ I. D., CEĬTIN G. S.: On singular coverings and related properties of constructive functions. Trudy Mat. Inst. Steklov 67 (1962), 458-502; English transl. Amer. Math. Soc. Transl. (2) 98 (1971), 41-89. MR 0152428

[5] KURTZ S. A.: Notions of weak genericity. J. Symbolic Logic 48 (1983), 764-770. MR 0716638 | Zbl 0549.03042

[6] ODIFREDDI P.: Strong reducibilities. Bull. Amer. Math. Soc. 4 (1981), 37-86. MR 0590818 | Zbl 0484.03024

[7] DEMUTH O., KRYL R., KUČERA A.: An application of the theory of functions partial recursive relative to number sets in constructive mathematics. (Russian), Acta Univ. Carolinae - Math, et Phys. 19 (1978), 15-60. MR 0509638

[8] DEMUTH O.: Some questions in the theory of constructive functions of a real variable. (Russian), Acta Univ. Carolinae - Math, et Phys. 19 (1978), 61-96. MR 0509639

[9] DEMUTH O.: On some classes of arithmetical real numbers. (Russian), Comment. Math. Univ. Carolinae 23 (1982), 453-465. MR 0677854 | Zbl 0519.03046

[10] DEMUTH O.: On Borel types of some classes of arithmetical real numbers. (Russian), Comment. Math. Univ. Carolinae 23 (1982), 593-606. MR 0677866

[11] DEMUTH O.: A notion of semigenericity. Comment. Math. Univ. Carolinae 28 (1987), 71-84. MR 0889769 | Zbl 0645.03040

[12] DEMUTH O., KUČERA A.: Remarks on 1-genericity, semigenericity and related concepts. Comment. Math. Univ. Carolinae 28 (1987), 85-94. MR 0889770