@book{155886,
	author = {Hopcroft, John E. and Ullman, Jeffrey D.},
	title = {Introduction to automata theory, languages, and computation},
	note = {Bibliography: p.396-418.}
}