@book{89443,
	author = {Carroll John and  Long Darrell},
	title = {Theory of finite automata with an introduction to formal languages},
	year = {1989}
}