Kaliszyk, C., & O’Connor, R. (2009). Computing with Classical Real Numbers. Journal of Formalized Reasoning, 2(1), 27–39. https://doi.org/10.6092/issn.1972-5787/1411