(1)
Gustafson, J. L. A Radical Approach to Computation With Real Numbers. superfri 2016, 3, 38-53.