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