Diseño de programas : formalismo y obstreción - Peña Marí, Ricardo (Prentice Hall., 1998)