@book{45821,
	author = {Bohórquez Villamizar, Jaime Alejandro},
	title = {Diseño efectivo de programas correctos},
	publisher = {Editorial Escuela Colombiana de Ingeniería,},
	year = {2006},
	series = {Informática},
	address = {Colombia :},
	note = {Incluye índice}
}