Algebraic structure theory of sequential machines - Hartmanis J.; Stearns R. E (1966)