DISEÑO DE PROGRAMAS: FORMALISMO Y ABSTRACCION (3ª ED.)
2005·no ficcion
Esta obra (el mismo autor del libro de referencia) se centra en mejorar los métodos de programación y razonar sobre la corrección y eficiencia de los programas. Describe técnicas como el diseño y verificación de programas recursivos, la derivación formal de programas iterativos y la especificación algebraica de tipos abstractos de datos. [casadellibro.com](https://www.casadellibro.com/libro-diseno-de-programas-formalismo-y-abstraccion-3-ed-incluye-c-d/9788420541914/1010532)