Scientific computation with automatic result verification. [ca. 1988]. In U. Kulisch (Hrsg.), Computing. Supplementum [Book]. Wien [u.a.]: Springer.
ISO-690 (author-date, English)KULISCH, Ulrich (Hrsg.). Wien [u.a.]: Springer. Computing. Supplementum, 6. ISBN 3211820639.
Modern Language Association 9th editionKulisch, U., Herausgeber. „Scientific computation with automatic result verification“. Computing. Supplementum, book, Springer, 1988.
Mohr Siebeck - Recht (Deutsch - Österreich): Scientific computation with automatic result verification, . Computing. Supplementum, Wien [u.a.] 1988.
Emerald - HarvardKulisch, U. (Hrsg.). (1988), Scientific computation with automatic result verification, Computing. Supplementum, Bd. , Springer, Wien [u.a.].
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.