@book{19724,
	author = {Peña Marí, Ricardo},
	title = {Diseño de Programas: Formalismo y Abstracción /},
	publisher = {Prentice hall,},
	year = {2005.},
	address = {Madrid :},
	edition = {3.},
	note = {Incluye Indice.}
}