A General Model for Memory-Based Finite-State Machines. - Lee D. Coraor; Paul T. Hulina; Orlando A. Morean (IEEE Trans. Computers, 1987)