U. Kulisch and H. J. Stetter:

Scientific Computation with Automatic Result Verification

Springer-Verlag, Wien, New York (ISBN 3-211-82063-9), 1988.

Institut für Angewandte Mathematik - zuletzt geändert am 7.12.1995