Automata studies - Shannon, Claude Elwood 1916-2001; McCarthy, John 1927-2011 (Annals of Mathematics Studies, 1972)