Applications of interval computations (Kluwer, 1996)