AUTOMATA STUDIES - Shannon, C.E.; Mccarthy, J. (Princeton University Press, 1956)