BIBLIOGRAFÍA
Bases Teóricas y TADs
[Car93] CARDOSO, Rodrigo. Verificación y Desarrollo de Programas. Ediciones Uniandes. 1ra edición. 1993.
[Vil96] VILLALOBOS, Jorge. Diseño y Manejo de Estructuras de Datos en C. Ed. McGraw Hill. 1996