A new representation for exact real numbers (1997)

by A Edalat, J Potts
Venue:In MFPS XIII, volume 6 of ENTCS