- 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.
- 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