An on-line arithmetic unit for bit-pipelined rational arithmetic

An Algorithm for Redundant Binary Bit-Pipelined Rational Arithmetic

IEEE Transactions on Computers

Static Analyses of the Precision of Floating-Point Operations

SAS '01 Proceedings of the 8th International Symposium on Static Analysis

A Survey of Exact Arithmetic Implementations

CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis

Constructive analysis, types and exact real numbers

Mathematical Structures in Computer Science

Exact arithmetic on the Stern-Brocot tree

Journal of Discrete Algorithms