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

by H-J Boehm, R Cartwright, M Riggle, M O’Donnell
Venue:in LISP and Functional Programming