Exact Real Number Computation Using Linear Fractional Transformations, available athttp://www.doc.ic.ac.uk/∼ae/exact-computation (0)

by A Edalat