Computer arithmetic and validity theory, implementation, and applications - Kulisch, Ulrich (De Gruyter studies in mathematics, 2008)