Alberto Ciaffaglione Pietro Di Gianantonio A Co-inductive Approach to Real Numbers. 114-130 http://link.springer.de/link/service/series/0558/bibs/1956/19560114.htm 1999 conf/types/1999 TYPES db/conf/types/types1999.html#CiaffaglioneG99