Namhyun Hur, James H. Davenport. A Generic Root Operation for Exact Real Arithmetic. In Jens Blanck, Vasco Brattka, Peter Hertling, editors, Computability and Complexity in Analysis, 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000, Selected Papers. Volume 2064 of Lecture Notes in Computer Science, pages 82-87, Springer, 2000. [doi]
Abstract is missing.