(1)
Kaliszyk, C.; O’Connor, R. Computing With Classical Real Numbers. JFR 2009, 2, 27-39.