@book{68388,
	author = {Rojas B., Rafael.},
	title = {Sistemas formales},
	publisher = {UNAM. Facultad de Ciencias. Departamento de Matemáticas,},
	year = {1981},
	series = {Comunicación interna. Notas de clase},
	address = {México :},
	note = {29-23}
}