@book{396865,
	author = {Bohorquez Villamizar, Jaime Alejandro},
	title = {Diseño efectivo de programas correctos},
	publisher = {Escuela Colombiana de Ingeniería Julio Garavito,},
	year = {2005.},
	series = {Coleccion de Informatica},
	address = {Bogotá :}
}