Scientific computing with automatic result verification /
Adams, Ernst.
Kulisch, Ulrich.
Boston, Mass. ; London : Academic Press,
c1993.