Scientific computing with automatic result verification - Adams, Ernst (Acad. Press, 1993)