1. Aczel, P., Rathjen, M.: Notes on constructive set theory. Technical report 40, Institut Mittag-Leffler. The Royal Swedish Academy of Sciences (2001)
2. Avigad, J., Dean, E.T., Rute, J.: A metastable dominated convergence theorem. J. Logic Anal. 4(3), 1–19 (2012)
3. Berger, J., Bridges, D., Palmgren, E.: Double sequences, almost cauchyness and BD-N. Logic J. IGPL 20(1), 349–354 (2012)
4. Bishop, E., Bridges, D.: Constructive Analysis. Springer, Heidelberg.
https://doi.org/10.1007/978-3-642-61667-9
(1985)
5. Dover Books on Mathematics;CC Chang,2013