@book{21512,
	author = {Linz, P.},
	title = {Introduction to formal languages and automata},
	publisher = {Narosa},
	year = {2001},
	edition = {Second}
}