A functional approach to real number computation (1993)

by P Di Gianantonio