Theories of abstract automata
Arbib, Michael A.
Englewood Cliffs London Prentice-Hall
1969
bibl p389-400
Machine theory.