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