Scientific computing with automatic result verification / - Adams, Ernst.; Kulisch, Ulrich. (Academic Press,, 1993)