Bos, Henk J. M. (2001). "The legitimation of geometrical procedures before 1590". Redefining Geometrical Exactness: Descartes' Transformation of the Early Modern Concept of Construction. Sources and Studies in the History of Mathematics and Physical Sciences. New York: Springer. pp. 23–36. doi:10.1007/978-1-4613-0087-8_2. MR1800805.
Sanders, Sam (2017). "Nonstandard Analysis and Constructivism!". arXiv:1704.00281 [math.LO].
Matthew Frank (July 14, 2020). "Interpolating Between Choices for the Approximate Intermediate Value Theorem". Logical Methods in Computer Science. 16 (3). arXiv:1701.02227. doi:10.23638/LMCS-16(3:5)2020.
Bos, Henk J. M. (2001). "The legitimation of geometrical procedures before 1590". Redefining Geometrical Exactness: Descartes' Transformation of the Early Modern Concept of Construction. Sources and Studies in the History of Mathematics and Physical Sciences. New York: Springer. pp. 23–36. doi:10.1007/978-1-4613-0087-8_2. MR1800805.
Matthew Frank (July 14, 2020). "Interpolating Between Choices for the Approximate Intermediate Value Theorem". Logical Methods in Computer Science. 16 (3). arXiv:1701.02227. doi:10.23638/LMCS-16(3:5)2020.