@book{12828,
	author = {Linz, Peter},
	title = {An introduction to formal languages and automata},
	publisher = {Jones & Bartlett},
	year = {2012},
	address = {USA},
	edition = {5th ed.}
}