Diseño de Programas Formalismo y Abstracción - Peña Mari, Ricardo. (Prentice Hall, 2005)