@book{16030,
	author = {Ortiz, Antonio Claudio and Cuesta, Juan Eduardo},
	title = {Herramienta de edición para la creación de especificación formal basada en el lenguaje RSL (raise specification language).},
	publisher = {Universidad Nacional. Facultad de Ingeniería,},
	year = {2016.},
	address = {San Salvador de Jujuy :}
}