1. Scientific Computing with Automatic Result Verification;Adams,1993
2. Validation Numerics, Theory and Applications;Albrecht,1993
3. G. Alefeld, Intervallrechnung über den komplexen Zahlen und einige Anwendungen, Ph.D. Thesis, Universität Karlsruhe, Karlsruhe, 1968.
4. Über die Durchführbarkeit des Gaußschen Algorithmus bei Gleichungen mit Intervallen als Koeffizienten;Alefeld;Comput. Suppl.,1977
5. Bounding the slope of polynomials and some applications;Alefeld;Computing,1981