@book{962080,
	author = {Hopcroft},
	title = {Introduction to automata},
	publisher = {Wiley E},
	year = {1988},
	address = {Pune}
}