Andrew W. Appel, Jens Palsberg
IMACS-GAMM International Workshop on Validated Computation (1993 Oldenburg, Germany)
P. M. Selzer, W. M. Yen