Steins, A. (1995). Verifizierte Formelauswertung in Computer-Algebra-Systemen und objektorientierten Programmierumgebungen ([Mikrofiche-Ausg.].).
Chicago-Zitierstil (17. Ausg.)Steins, Andreas. Verifizierte Formelauswertung in Computer-Algebra-Systemen Und Objektorientierten Programmierumgebungen. [Mikrofiche-Ausg.]. 1995.
MLA-Zitierstil (9. Ausg.)Steins, Andreas. Verifizierte Formelauswertung in Computer-Algebra-Systemen Und Objektorientierten Programmierumgebungen. [Mikrofiche-Ausg.]. 1995.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.