Describir: Algebraic structure theory of sequential machines [by] J. Hartmanis [and] R.E. Stearns.