1. Finite Element Solution of Boundary Value Problems;Axelsson,1984
2. Elliptic Problems in Nonsmooth Domains;Grisvard,1983
3. Validating computation in a function space;Kaucher,1988
4. Self-validating Numerics for Function Space Problems;Kaucher,1984
5. A posteriori bounds for two-point boundary value problems;Kedem;SIAM J. Numer. Anal.,1982