Algebraic structure theory of sequential machines - Hartmanis, J.