Diseño de programas : formalismo y abstraccion. - Peña Marí, Ricardo (Pearson Educación, 2005)