Describir: Diseño efectivo de programas correctos /