TY  - BOOK
AU  - Peña Mari,Ricardo
TI  - Diseño de programas: formalismo y abstracción 
U1  - 005.12 P419d 2005 
PY  - 2005///
CY  - Madrid
PB  - Pearson Educación, 
KW  - COMPUTADORES
KW  - PROGRAMACION
KW  - DISEÑO DE PROGRAMAS PARA COMPUTADORES
ER  -