Text this: Introduction to interval computations /