Alberto Ciaffaglione Pietro Di Gianantonio A Tour with Constructive Real Numbers. 41-52 2000 conf/types/2000 TYPES http://link.springer.de/link/service/series/0558/bibs/2277/22770041.htm db/conf/types/types2000.html#CiaffaglioneG00