Exact Real Arithmetic: Formulating Real Numbers as Functions. Chapter 3 of (1990)

by H Boehm, R Cartwright
Venue:Re53-1 Topics in Functional Programming