Diseño de Programas Formalismo y Abstracción - Marí Peña, Ricardo (Prentice Hall, 1998)