Bibliografía básica R. Peña Marí (). Diseño de programas. Formalismo y abstracción. Addison-Wesley
J. L. Balcázar (). Programación Metódica. McGraw-Hill
David Gries (). The Science of Programming. Springer-Verlag

Bibliografía complementaria D. Arnow, G. Weiss (). Introducción a la programación con Java. Addison-Wesley
P. Naughton (). Manual de Java. McGraw-Hill