1. Computable versions of the uniform boundedness theorem;Brattka;Lecture Notes in Logic,2002
2. Baire category and nowhere differentiability for feasible real functions;Breutzmann;Math. Log. Quart.,2004
3. G. H. Hardy W. W. Rogosinski Fourier Series (Cambridge University Press, 1965).
4. Une série de Fourier-Lebesgue divergente presque partout;Kolmogorov;Fund. Math.,1923
5. K. Mehlhorn On the size of sets of computable functions. In: FOCS, pp. 190-196 (IEEE, 1973).