Exact Real Arithmetic, formulating real numbers as functions (1990)

by R Cartwright, B Boehm
Venue:Research Topics in Functional Programming. University of Texas at Austin Year of Programming Series