Diseño de programas : Formalismo y abstracción - Peña Mari, Ricardo (Prentice-Hall, México, 1998)