Teruel:

BB	Balcázar, José Luis. Programación metódica / José Luis Balcázar Madrid [etc] : McGraw-Hill, D. L. 1998
BB	Brassard, Gilles. Fundamentos de algoritmia / G. Brassard, T. Bratley ; traducción, Rafael García-Bermejo ; revisión técnica, Ricardo Peña, Narciso Martí . - 1a ed., 1a reimp. Madrid [etc.] : Prentice Hall, D.L. 1998
BB	Curso de programación / Jorge Castro Rabal...[et al.] . - [1a ed., reimp.] Madrid : McGraw-Hill, D.L.1994
BB	Deitel, Paul J.. Java : cómo programar / P. J. Deitel, H. M. Deitel ; traducción Alfonso Vidal Romero Elizondo ; revisión técnica Gabriela Azucena Campos García, Roberto Martínez Román, Jorge Armando Aparicio Lemus. - 7ª ed. Naucalpan de Juárez (Estado de México) : Pearson Educación, 2008
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

Zaragoza:

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