BB	CORMEN, T. H. Introduction to algorithms. 4th ed. [s. l.]: MIT Press, 2022.
BB	DÍAZ ROCA, M.; RODRÍGUEZ DEL PINO, J. C. Metodología y tecnología de la programación II. 2a. ed. [s. l.]: Universidad de Las Palmas de Gran Canaria, Vicerrectorado de Calidad e Innovación educativa, 2007.
BB	Especificación, Verificación y Derivación Formal de Programas / Javier Álvez... [et al.]. Pearson, 2015.
BB	Martínez Rodríguez, Javier. Curso de Programación 2 /Javier Martínez Rodrı́guez. [s.l.]:[s.n.], [2020]. [Comentario prof.: libro facilitado en pdf a través de moodle a los estudiantes]
BB	Peña Marí, Ricardo. Diseño de programas : formalismo y abstracción / autor, Ricardo Peña Marí . - 3ª ed. Madrid [etc.] : Pearson Educación, D.L. 2004