@book{29387,
	author = {Kozen, Dexter,},
	title = {Automata and computability},
	publisher = {Springer,,,},
	year = {1997.},
	series = {Undergraduate texts in computer science},
	address = {New York : : :},
	url = {https://unicurn.sharepoint.com/:b:/s/biblioteca/EdDDm2g9DcNGhrnWEtATtXgBpW_XmtKBb5xl32bOq2n8hA?e=WLiRoh}
}