Diseño de programas: Formalismo y Abstracción libro usato