@book{12788,
	author = {Ortíz Rosas, Adolfo},
	title = {Introducción a la Programación de Autómatas /},
	publisher = {Editores, Bolivariana Editores,},
	year = {2002.},
	address = {Cali :},
	edition = {2.}
}