Coinduction for exact real number computation (2008)

by U Berger, T Hou
Venue:Theory of Computing Systems