Diseño de programas/ Formalismo y abstracciones - Peña Marí, Ricardo