Diseño de programas: Formalismo y Abstracción d'occasion