Rudolf Krawczyk: Properties of interval operators. Computing 37(3): 227-245 (1986)