Exact Real Computer Arithmetic (1997)

by Peter John Potts, Abbas Edalat