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

by H-J Boehm, R Cartwright, M Riggle, M J O’Donnell
Venue:LFP