Wissenschaftliches Rechnen mit Ergebnisverifikation : eins Einführung - Kulisch, Ulrich (Berlin : Akademie Verlag, 1989)