Scientific computing with automatic result verification (Academic Press, 1992)