TY  - BOOK
AU  - Peña Marí, Ricardo
TI  - Diseño de programas : formalismo y abstracción
U1  - 005.12/P34 
PY  - 2005///
ER  -