Self-validating numerics for function space problems : computation with guarantees for differential and integral equations by Edgar W. Kaucher. ISBN 0124020208. Published by Academic in 1984. Publication and catalogue information, links to buy online and reader comments.