@book{893,
	author = {Peña Marí, Ricardo},
	title = {Diseño de programas: formalismo y abstración / Ricardo Peña Marí},
	address = {España: Pearson Educación},
	edition = {3},
	note = {Incluye índice, bibliografía y CD Room}
}