R. Rihm: On a class of enclosure methods for initial value problems. Computing 53(3-4): 369-377 (1994)