Kaliszyk, Cezary, and Russell O’Connor. “Computing With Classical Real Numbers”. Journal of Formalized Reasoning, vol. 2, no. 1, Jan. 2009, pp. 27-39, doi:10.6092/issn.1972-5787/1411.