1. Appell, J., Banaś, J., Merentes, N.: Bounded Variation and Around. De Gruyter Series in Nonlinear Analysis and Applications, vol. 17. De Gruyter, Berlin (2014)
2. Avigad, J., Feferman, S.: Gödel’s functional (“Dialectica’’) interpretation, handbook of proof theory. Stud. Logic Found. Math. 137, 337–405 (1998)
3. Bourbaki, N.: Élements de mathématique, Livre IV: Fonctions d’une variable réelle. (Théorie élémentaire), Actualités Sci. Ind., no. 1132, Hermann et Cie., Paris (1951). (French)
4. Elements of Mathematics;N Bourbaki,2004
5. Lecture Notes in Mathematics;S Feferman,1981