@book{80690,
	author = {Simon, Matthew},
	title = {Automata theory},
	publisher = {World Scientific},
	year = {1999},
	address = {Singapore}
}