Validated Numerics: A Short Introduction to Rigorous Computations (Paperback) (1089373)