Niqui. Coinductive Field of Exact Real Numbers and General Corecursion. Elsevier BV, 2006, doi:10.1016/j.entcs.2006.06.008.