Topics in validated computations : proceedings of IMACS-GAMM International Workshop on Validated Computations, Oldenburg, Germany, 30 August - 3 September 1993. ISBN 0444816852. Published by Elsevier in 1994. Publication and catalogue information, links to buy online and reader comments.