Kaliszyk, Cezary, and Russell O’Connor. “Computing With Classical Real Numbers”. Journal of Formalized Reasoning 2, no. 1 (January 1, 2009): 27–39. Accessed April 19, 2024. https://jfr.unibo.it/article/view/1411.