Computer arithmetic and self validating numerical methods. - Ullrich,Christian (Academic press, 1990)