1. Alefeld, G., Herzberger, J.: Einführung in die Intervallrechnung. Mannheim-Wien-Zürich: Bibliographisches Institut 1974.
2. Dobner, H.-J.: Einschließungsalgorithmen für hyperbolische Differentialgleichungen. Dr. Thesis, University of Karlsruhe 1986.
3. Computerarithmetic, Scientific Computation and Programming Languages;H.-J. Dobner,1987
4. Proceedings of the IBM Symposium: A New Approach to Scientific Computation;E. Kaucher,1983
5. Kaucher, E., Miranker, W. L.: Self-validating Numerics for Function Space Problems. New York: Academic Press 1984.