[1] O. DEMUTH: Lebesgue integration in constructive analysis. Dokl. akad. nauk SSSR 160 (1965), 1239-1241 (in Russian). MR 0175778 | Zbl 0224.02022

[2] O. DEMUTH: Mean-value theorems for constructive Lebesgue integral. Comment. Math. Uhiv. Carolinae 11 (1970), 249-269 (in Russian). MR 0279269

[3] A. A. MARKOV: Theory of algorithms. Trudy Mat. Inst. Steklov, no.42, Moscow, 1954; English trasnsl., Israel Program for Scientific Translations, Jerusalem, 1961. MR 0132690

[4] N. A. ŠANIN: A constructive interpretation of mathematical judgments. Trudy Mat. Inst. Steklov 52 (1958), 226-311; English trans 1., Amer. Math. Soc. Transl. (2) 23 (1963), 109-189. MR 0101189

[5] N. A. ŠANIN: Constructive real numbers and constructive functional spaces. Trudy Mat. Inst. Steklov 67 (1962), 15-294 (in Russian). MR 0156786

[6] G. S. CEJTIN: Algorithmic operators in constructive metric spaces. Trudy Mat. Inst. Steklov 67 (1962), 295-361 (in Russian). MR 0152426

[7] I. D. ZASLAVSKIJ G. S. CEJTIN: Singular coverings and properties of constructive functions connected with them. Trudy Mat. Inst. Steklov 67 (1962), 458-502 (in Russian). MR 0152428

[8] G. H. HARD W. W. ROGOSINSKI: Fourier Series. Cambridge, 1962. MR 0044660

[9] P. FILIPEC: Fourier Series in constructive mathematics. Master Thesis, Prague, 1970 (in Czech).