@book{5013,
	author = {Hopcrof, John E},
	title = {Introduction to Automata Theory, Languages, and Computation},
	edition = {3 rd}
}