(1)
Berger, U.; Lloyd, S. A Coinductive Approach to Verified Exact Real Number Computation.
ECEASST
2009
,
23
.