Rudolf Krawczyk: A remark about the convergence of interval sequences. Computing 31(3): 255-259 (1983)