Rudolf Krawczyk: Interval extensions and interval iterations. Computing 24(2-3): 119-129 (1980)