• Biliografía

    Especificación

    • José Luis BalcazarProgramación Metódica, McGraw-Hill, 1993. (En Biblioteca Central)
    • Barbara Liskov y John GuttagAbstraction and Specification in Software Development, MIT Press, 1986.
    • Bertrand MeyerObject 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

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

    Programación en C++

    • Bjarne StroustrupThe C++ Programming Language, Addison-Wesley, 1997.
    • Bruce EckelThinking in C++, BinaryThing.com ePublishing Network, 2000. (En Internet)
    • Brian Kernighan y Rob PikeLa Práctica de la Programación, Prentice-Hall, 2000.
    • Stanley Lippman y Josée LajoieC++ Primer, Addison Wesley.