A Residue Arithmetic Extension for Reliable Scientific Computation. - Eisuke Kinoshita; Ki-Ja Lee (IEEE Trans. Computers, 1997)