Exact real arithmetic using centred intervals and bounded error terms - Jens Blanck (The Journal of Logic and Algebraic Programming, 2006)