Expression optimization using high-level knowledge. - Mark P. W. Mutrie; Bruce W. Char; Richard H. Bartels (EUROCAL, 1987)

An Approach for Floating-Point Error Analysis Using Computer Algebra. - Mark P. W. Mutrie; Richard H. Bartels; Bruce W. Char (ISSAC, 1992)