@book{19002,
	author = {Carroll,  John and  Long,  Darrell},
	title = {Theory of finite automata :}
}