"Computer arithmetic and validity: Theory, implementation, and applications" - читать интересную книгу автора (Kulisch, Ulrich)