Algebraic structure theory of sequential machines - Hartmanis, J. (Prentice-Hall, 1966)