Diseño de programas formalismo y abstracción / Ricardo Peña Mari - Peña Mari, Ricardo (2005)