@book{5416,
	author = {Hop Croft J.E},
	title = {Intro to Automata Theory Language & Comput},
	publisher = {New Delhi-Narsa},
	year = {1999}
}