@book{21308,
	author = {Hopcroft, John E. & Ullman, Jeffrey D.},
	title = {Introduction to Automata Theory, Languages and Computation},
	publisher = {Addison-Wesley Publishing Company, Inc.},
	year = {1979},
	address = {Reading Massachusetts},
	note = {Includes bibliographic references and index}
}