1. E.W. Kaucher and W.L. Miranker, Self-Validating Numerics for Function Space Problems. Academic Press, New York, 1984.
2. M.T. Nakao, A numerical approach to the proof of existence of solutions for elliptic problems. Japan J. Appl. Math.,5 (1988), 313–332.
3. Lecture Notes in Numer. Appl. Anal.;M.T. Nakao,1989
4. J.T. Oden and J.N. Reddy, An introduction to the mathematical theory of finite elements. John Wiley & Sons, New York, 1976.
5. S.M. Rump, Solving algebraic problems with high accuracy. Proceedings of the IBM Symposium, Academic Press, New York, 1983.