@book{259270,
	author = {J Hopcroft and J Ullman},
	title = {Introduction to Automata Theory,Languages,and Comp},
	publisher = {Person},
	year = {2009},
	edition = {2}
}