@book{6890,
	author = {Editor Gerard Prudhomme},
	title = {Automata Theory and Logic},
	publisher = {Arcter Press},
	year = {2018},
	note = {Includes References, Citations and Index}
}