Wissenschaftliches Rechnen mit Ergebnisverifikation : eins Einführung - Kulisch, Ulrich (Mathematical Research, 1989)