@book{73562,
	author = {Shannon, Claude E. and McCarthy, John},
	title = {Automata studies.},
	publisher = {Princeton University Press},
	year = {1956.},
	series = {Annals of mathematics studies},
	address = {Princeton .}
}