O. Aberth: Precise numerical analysis. Brown Publishers, Dubuque, Iowa, 1988.

Gštz Alefeld/JŸrgen Herzberger: EinfŸhrung in die Intervallrechnung.
Bibl. Inst. 1974, 400p. 3-411-01466-0. DM 46.
[= Introduction to interval computations. Academic Press 1983.]

H. Bauch u.a.: Intervallmathematik. Teubner Leipzig 1987.

H. Bšhm: Berechnung von Polynomnullstellen und Auswertung arithmetischer AusdrŸcke 
mit garantierter maximaler Genauigkeit. PhD Thesis, Karlsruhe 1983.

6250 Gerd Bohlender/Kurt GrŸner: Gesichtspunkte zur Implementierung einer optimalen Arithmetik. 5985 Kulisch/, 95-115.

6186 D. Cordes: SpŠrlich besetzte Matrizen. 5806 Kulisch, 129-135.

6188 H. Fischer: Genaue Auswertung von Polynomen. 5806 Kulisch, 155-165.

R. Hammer/M. Hocks/Ulrich Kulisch/D. Ratz: Numerical toolbox for verified computing. With algorithms and Pascal-XSC programs. Springer 1993, 340p. 3-540-57118-3. DM 128.

E. Hansen: Global optimization using interval analysis, the one dimensional case.
J. Optim. Theory 29 (1979), 331-344.

E. Hansen: Global optimization using interval analysis, the multidimensional case.
Num. Math. 34 (1980), 247-270.

E. Hansen: Global optimization using interval analysis. Dekker 1992.

6138 Christian Jansson/Siegfried Rump: Algorithmen mit Ergebnisverifikation. Einige Bemerkungen zu neueren Entwicklungen. 6031 Chatterji/, 47-73.
           
6192 E. Kaucher: Methoden zur Lšsung von Integral- und Differentialgleichungen.
5806 Kulisch, 225-238.

5788 Immo Kie§ling/Martin Lowes/Augustin Paulik: Genaue Rechnerarithmetik. Intervallrechnung und Programmieren mit Pascal-SC. 
Teubner 1988, 190p. 3-519-00114-4. DM 20.

6180 Rudi Klatte: †bersicht Ÿber neue Programmiersprachen fŸr wissenschaftliches Rechnen. 5806 Kulisch, 29-43.

5808 Rudi Klatte/Ulrich Kulisch/Andreas Wiethoff/Christian Lawo/George Corliss: C-XSC.
Springer 1993.

5757 Ulrich Kulisch: Grundlagen des numerischen Rechnens. Bibl. Inst. 1976.

5021 Ulrich Kulisch: Numerisches Rechnen - wie es ist und wie es sein kšnnte. 
2687 Chatterji/, 139-160.

6179 Ulrich Kulisch: ZeitgemŠ§e Rechnerarithmetik. 5806 Kulisch, 1-27.

6249 Ulrich Kulisch: Eine neue Arithmetik fŸr wissenschaftliches Rechnen.
5985 Kulisch/, 9-28.

5984 Ulrich Kulisch (ed.): Pascal-SC. Teubner 1987.

5016 Ulrich Kulisch: Numerik mit automatischer Ergebnisverifikation.
4731 Chatterji/, 199-218.

5806 Ulrich Kulisch (Hg.): Wissenschaftliches Rechnen mit Ergebnisverifikation.
Vieweg 1989, 270p. 3-528-08943-1. DM 40.

Ulrich Kulisch/Willard Miranker: Computer arithmetic in theory and practice.
Academic Press 1981, 250p. 0-12-428650-X. £38.

5816 Ulrich Kulisch/W. Miranker: The arithmetic of the digital computer. A new approach. SIAM Review 28 (1986), 1-40.

Ulrich Kulisch/H. Stetter (ed.): Scientific computation with automatic result verification. Springer 1988, 250p. 3-211-82063-9. DM 128.

6402 Ulrich Kulisch/Thomas Teufel/Bernd Hšfflinger: Genauer und trotzdem schneller.
Elektronik 1994/26, 52-56.

5985 Ulrich Kulisch/Christian Ullrich (Hg.): Wissenschaftliches Rechnen und Programmiersprachen. Teubner 1982.

R. Lohner: Einschlie§ung der Lšsung gewšhnlicher Anfangs- und Randwertaufgaben und 
Anwendungen. Dissertation, UniversitŠt Karlsruhe 1988.

6134 GŸnter Mayer: Ergebnisverifikation beim algebraischen Eigenwertproblem.
6031 Chatterji/, 111-130.

6184 GŸnter Mayer: Grundbegriffe der Intervallrechnung. 5806 Kulisch, 101-117.

6181 M. Metzger/W. Walter: Fortran-SC. Eine Fortran-Erweiterung fŸr wissenschaftliches Rechnen. 5806 Kulisch, 45-67.

5989 William Miranker/Richard Toupin (ed.): Accurate scientific computations.
Springer Lecture Notes in Computer Science 235 (1986).

R. Moore: Interval analysis. Prentice Hall 1966.

R. Moore: Methods and applications of interval analysis. SIAM 1979.

6182 M. Neaga: Pascal-SC. Eine Pascal-Erweiterung fŸr wissenschaftliches Rechnen.
5806 Kulisch, 69-84.

A. Neumaier: Interval methods for systems of equations. 
Cambridge UP 1990, 260p. £ 35.

K. Nickel (ed.): Interval mathematics. Springer 1975. 330p. 3-540-07170-9. DM 38.

Ratschek/Rokne: Computer methods for the range of functions.
Ellis Horwood 1984.

6185 Siegfried Rump: Lineare Probleme. 5806 Kulisch, 119-127.

6251 Siegfried Rump: Lšsung linearer und nichtlinearer Gleichungssysteme mit maximaler Genauigkeit. 5985 Kulisch/, 147-174.

6252 U. Schauer/Richard Toupin: Solving large sparse linear systems with guaranteed accuracy. 5989 Miranker/Toupin, 142-167.

GŸnter Schumacher: Verifizierende Basis-Algorithmen auf Supercomputern.
Bibl. Inst. 1995, 160p. 3-411-14421-1. DM 25.

6187 GŸnter Schumacher: Lšsung nichtlinearer Gleichungen mit Verifikation des Ergebnisses. 5806 Kulisch, 137-154.

6193 GŸnter Schumacher: Einschlie§ung der Lšsung von linearen Gleichungssystemen auf Vektorrechnern. 5806 Kulisch, 239-249.

6194 J. Wolff von Gudenberg: Esprit-Projekt DIAMOND. 5806 Kulisch, 251-259.