Reviews - Applications of reliable scientific computing. - M. Beltran; Daniel E. Cooke (Reliab. Comput., 1996)