1. Adams, E.; Kulisch, U.(eds.): entific Computing with Automatic Result Verification I. Language and Programming Support for Verified Scientific Computation, II. Enclosure Methods and Algorithms with Automatic Result Verification, III. Applications in the Engineering Sciences. Academic Press, San Diego, 1993 (ISBN 0-12-044210-8).
2. Albrecht, R.; Kulisch, U. (Eds.): Grundlagen der Computerarithmetik Computing Supplementum 1. Springer-Verlag, Wien / New York, 1977.
3. Albrecht, R.; Alefeld, G.; Stetter, H.J. (Eds.): Validation Numerics — Theory and Applications. Computing Supplementum 9, Springer-Verlag, Wien / New York, 1993.
4. Alefeld, G.; Herzberger, J.: Einruhrung in die Intervallrechnung. Bibliographisches Institut (Reihe Informatik, Nr. 12), Mannheim / Wien / Zürich, 1974 (ISBN 3-411-01466-0).
5. Alefeld, G.; Herzberger, J.: An Introduction to Interval Computations. Academic Press, New York, 1983 (ISBN 0-12-049820-0).