- Programen Egiaztapena eta Eratorpena. X. Arregi, A. Díaz de Ilaraza, P. Lucio. Udako euskal Unibersitatea, 1993.

- Algoritmos correctos y eficientes: Diseño razonado ilustrado con ejercicios. N. Martí-Oliet, C. Segura, A. Verdejo (Universidad Complutense de Madrid). Garceta grupo editorial, 2012.

- The design of well-structured and correct programs. S. Alagic, M. A. Arbib. Springer-Verlag, 1978.

- Formal Development of Programs and Proofs. E. W. Dijkstra (ed.). Addison-Wesley, 1990.

- The Science of Programming. D. Gries. Springer-Verlag,1981.

- The Foundations of Program Verification. J. Loecks, K. Sieber. Wiley-Teubner, 1984.
Última modificación: lunes, 3 de diciembre de 2012, 14:06