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