Proceedings of the IMAGS - GAMM International Workshop on validated computation Topics in validated computations - Herzberger, Jurgen (Elsevier, 1994)