Namhyun Hur James H. Davenport A Generic Root Operation for Exact Real Arithmetic. 82-87 2000 conf/cca/2000 CCA http://link.springer.de/link/service/series/0558/bibs/2064/20640082.htm db/conf/cca/cca2000.html#HurD00