Methods and applications of interval analysis - Moore, Ramom E. (Siam, 1979)