Algebraic structure theory of sequential machines - Hartmanis, Juris; Stearns, R. E. (Prentice-Hall, 1966)