@book{9313,
	author = {Linz, Peter},
	title = {An Introduction to Formal languages and automata},
	year = {2010},
	edition = {4th}
}