Verifizierte Formelauswertung in Computer-Algebra-Systemen und objektorientierten Programmierumgebungen. - Andreas Steins (1995)