Văn bản này: Computer arithmetic and self-validating numerical methods /