@book{45091,
	author = {Arbib, Michael A.},
	title = {Theories of abstract automata},
	publisher = {Prentice-Hall},
	year = {1969.},
	series = {Prentice-Hall series in automatic computation},
	address = {Englewood Cliffs, N.J.},
	note = {Includes index.}
}