Exact real arithmetic: a case study in higher order programming (1986)

by Hans-J Boehm, Robert Cartwright, Mark Riggle, Michael J O’Donnell
Venue:In LFP ’86: Proceedings of the 1986 ACM conference on LISP and functional programming