C. Kaliszyk and R. O’Connor, “Computing with Classical Real Numbers”, JFR, vol. 2, no. 1, pp. 27–39, Jan. 2009.