1. Adams, E., and Kulisch, U. (Eds.), Scientific 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.
2. Adams, R. A., Sobolev spaces. Academic Press, New York, 1975.
3. Reihe Informatik;G Alefeld,1974
4. Bauer, H., Wahrscheinlichkeitstheorie und Grundzüge der Maßtheorie. 3rd Edition, de Gruyter, Berlin, 1978.
5. Studies in Computational Mathematics;H Behnke,1994