Scientific computation with automatic result verification - Kulisch,$bU.; Stetter,$bH. (Computing supplementum, 1988)