@book{31439,
	author = {Orejas, Fernando -  and Leeuwen, Jan van - },
	title = {Automata, languages and programming},
	publisher = {Springer},
	year = {2001},
	address = {New York}
}