TY  - RPRT
TI  - Computing with Classical Real Numbers
AU  - Cezary Kaliszyk
AU  - Russell O'Connor
PY  - 2008
UR  - https://arxiv.org/abs/0809.1644
ID  - 0809.1644
ER  -