@book{60085,
	author = {Hopcroft, John E and Ullman, Jeffrey D},
	title = {Introduction to automata theory,languages, and computation, John E. Hopcroft, eng},
	year = {1996},
	address = {New Delhi, Narosa, In}
}