TY - BOOK AU - Peña Marí, Ricardo TI - Diseño de programas: formalismo y abstracción U1 - S 005.12 PY - 1998/// KW - GEN KW - CCC ER -