Bibliografía

Especificación

• José Luis Balcazar, Programación Metódica, McGraw-Hill, 1993. (En Biblioteca Central)
• Barbara Liskov y John Guttag, Abstraction and Specification in Software Development, MIT Press, 1986.
• Bertrand Meyer, Object Oriented Software Construction, Prentice Hall, 1997. (En Biblioteca Central)
• Ricardo Peña Marí, Diseño de Programas, Formalismo y Abstracción Prentice Hall, 1998.

Estructuras de Datos y Algorítmica

• Alfred Aho, John Hopcroft y Jeffrey Ullman, Data Structures and Algorithms, Addison Wesley, 1987. (En Infoteca)
• Robert Tarjan, Data Structures and Network Algorithms, SIAM, 1983. (En Biblioteca Central)
• Thomas Cormen, Charles Leiserson, Ronald Rivest y Clifford Stein (eds.), Introduction to Algorithms, Second Edition, MIT Press, 2001.

Programación en C++

• Bjarne Stroustrup, The C++ Programming Language, Addison-Wesley, 1997.
• Bruce Eckel, Thinking in C++, BinaryThing.com ePublishing Network, 2000. (En Internet)
• Brian Kernighan y Rob Pike, La Práctica de la Programación, Prentice-Hall, 2000.
• Stanley Lippman y Josée Lajoie, C++ Primer, Addison Wesley.