@book{15813,
	author = {Gasparovic, Misael Mauro},
	title = {Especificación y diseño formal de un sistema de seguimiento de un agente móvil.},
	publisher = {Universidad Nacional. Facultad de Ingeniería,},
	year = {2014.},
	address = {San Salvador de Jujuy :}
}