ACRITH: High-Accuracy Arithmetic an advanced tool for numerical computation. - J. Hartmut Bleher; A. E. Roeder; Siegfried M. Rump (IEEE Symposium on Computer Arithmetic, 1985)