Author: IMACS-GAMM International Workshop on Validated Computation (1993 Oldenburg, Germany)