CADAC: A Controlled-Precision Decimal Arithmetic Unit. - Marty S. Cohen; Thomas E. Hull; V. Carl Hamacher (IEEE Trans. Computers, 1983)

Toward an ideal computer arithmetic. - Thomas E. Hull; Marty S. Cohen (IEEE Symposium on Computer Arithmetic, 1987)

Exception handling in scientific computing. - Thomas E. Hull; Marty S. Cohen; J. T. M. Sawshuk; David B. Wortman (ACM Trans. Math. Softw., 1988)

Specifications for a variable-precision arithmetic coprocessor. - Thomas E. Hull; Marty S. Cohen; C. B. Hall (IEEE Symposium on Computer Arithmetic, 1991)