Exact real arithmetic: Formulating real numbers as functions (1990)

by H J Boehm, R Cartwright
Venue:Research Topics in Functional Programming