Applications of interval computations - Kearfort, Baker R.; Kreinovich, Vladik (Kluwer Academic Publishers, 1996)