Diseño efectivo de programas correctos. - Bohórquez Villamizar, Jaime Alejandro (Escuela cColombiana de Ingeniería, 2006)