Theories of abstract autamata - Arbib, Michael A. (Prentice-Hall series in automatic computation, 1969)