Este libro, titulado 'Diseño de Programas: Formalismo y Abstracción', es una guía para estudiantes y profesionales de la informática. Escrito por Ricardo Peña Marí y publicado por Prentice Hall, el libro aborda los principios del diseño de programas, poniendo énfasis en el formalismo y la abstracción. Esta segunda edición ofrece una visión profunda de la programación de ordenadores, ideal para aquellos que buscan mejorar sus habilidades en el desarrollo de software.