@book{66393,
	author = {Silva Ramírez, Esther Lydia. and López Coello, Manuel,},
	title = {Verificación formal de algoritmos :},
	publisher = {Universidad de Cádiz,},
	year = {2018.},
	series = {Manuales / Universidad de Cádiz. Ingenierías y arquitectura},
	address = {Cádiz :},
	url = {https://elibro.net/ereader/politecnicointernacional/33886}
}