Cardoso R., Rodrigo Verificación y desarrollo de programas / Rodrigo Cardoso R.. - segunda edición corregida - Bogotá: Ediciones Uniandes - Ecoe Ediciones, 1993. - 473 páginas. ISBN: 9589057209 Subjects--Topical Terms: Programación (Computadores electrónicos) Dewey Class. No.: 005.1 / C268