@book{11898,
	author = {J. E. Hopcroft},
	title = {Introduction to  Automata Theory, Languages & Computation}
}