Diseño efectivo de programas correctos - Bohórquez Villamizar, Jaime Alejandro (Colección de informática, 2006)