@book{25288,
	author = {Hopcroft, John, E. and Ullman, Jeffrey, D.},
	title = {Introduction to automata theory, languages and computation},
	year = {1987},
	address = {Delhi: Narosa}
}