THEORIES OF ABSTRACT AUTOMATA - Arbib, Michael A. (Englewood Cliffs, N. J. Prentice-Hall, 1969)
Includes Bibliography
Keywords: Machine Theory