Blanck, J. (2008). Reducibility of domain representations and Cantor–Weihrauch domain representations. Mathematical Structures in Computer Science, 18(06), 1031-1056.
Blanck, J. & Blanck, J.(2006). Exact real arithmetic using centred intervals and bounded error terms. The Journal of Logic and Algebraic Programming, 66(1), 50
Blanck, J. (2008). Reducibility of domain representations and Cantor–Weihrauch domain representations. Mathematical Structures in Computer Science, 18(06), 1031-1056.
Blanck, J. & Blanck, J.(2006). Exact real arithmetic using centred intervals and bounded error terms. The Journal of Logic and Algebraic Programming, 66(1), 50