1. Avigad, J., Dean, E.T., Rute, J.: A metastable dominated convergence theorem. J. Log. Anal. 4, 1–19 (2012)
2. Ergebnisse der Mathematik und ihrer Grenzgebiete;MJ Beeson,1985
3. van den Berg, B., Briseid, E., Safarik, P.: A functional interpretation for nonstandard arithmetic. Ann. Pure Appl. Logic 163, 1962–1994 (2012)
4. Bishop, E., Bridges, D.S.: Constructive Analysis, Grundlehren der Mathematischen Wissenschaften, vol. 279. Springer, Berlin (1985)
5. Cousin, P.: Sur les fonctions de n variables complexes. Acta Math. 19(1), 1–61 (1895)