@book{102243,
	author = {Bohórquez Villamizar, Jaime Alejandro,},
	title = {Diseño efectivo de programas correctos /},
	publisher = {Escuela Colombiana de Ingeniería Julio Garavito Editorial,},
	year = {[2016]},
	series = {Colección de informática},
	address = {[Bogotá] :},
	url = {https://login.zproxy.cun.edu.co/login?url=https://www.digitaliapublishing.com/a/132263/}
}