Algebraic structure theory of sequential machines - Hartmanis, J. (Prentice-Hall International Series in Applied Mathematics, 1966)