@book{7113,
	author = {LINZ,Peter},
	title = {An Introduction to Formal Languages and Automata},
	publisher = {Jones and Bartdell Learning},
	year = {2017}
}