1. Adams E, Kulisch U (eds) (1993) Scientific computing with automatic result verification, mathematics in science and engineering, vol 189. Academic Press Inc., New York
2. Alefeld G, Frommer A, Lang B (eds) (1996) Scientific computing and validated numerics: proceedings of the international symposium on scientific computing, computer arithmetic and validated numerics SCAN-95 held in Wuppertal, Germany, September 26–29, 1995, mathematical research = Mathematische Forschung: Wissenschaftliche Beitrage herausgegeben von der Akademie der Wissenschaften der DDR, Zentralinstitut fur Mathematik und Mechanik, vol 90. Akademie-Verlag, Berlin
3. Alefeld G, Grigorieff RD (eds) (1980) Fundamentals of numerical computation (computer-oriented numerical analysis), computing supplementum, vol 2. Springer Verlag, Wien/New York
4. Alefeld G, Herzberger J (1974) Einführung in die Intervallrechnung. Springer-Verlag, Berlin/Heidelberg/London/etc
5. Alefeld G, Herzberger J (1983) Introduction to interval computations. Academic Press Inc., New York, transl. by J. Rokne from the original German ‘Einführung In Die Intervallrechnung’