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

- Metodología y Tecnología de la Programación II. M. Díaz Roca,, J. C. Rodríguez del Pino. Univ. Palmas Gran Canaria, 2004.

- Verificación de Programas y Metodología de la Programación. A. Díaz de Ilarraza, P. Lucio. Servicio Editorial Universidad del País Vasco, 1990.

- Programación metódica. J.L. Balcázar. MacGraw-Hill, 1993.

- Diseño de Programas.- Formalismo y Abstracción. Ricardo Peña. Prentice Hall, 1998.
Azken aldaketa: astelehena, 2012(e)ko abenduaren 3(e)an, 14:07(e)tan