1. Reversal-bounded multipushdown machines;Baker;J. Comput. Syst. Sci.,1974
2. Parties rationnelles du groupe libre;Benois;C. R. Acad. Sci. Paris A,1969
3. Regular canonical systems;Büchi;Arch. Math. Logic Grundlagenforsch,1964
4. Regular Algebra and Finite Machines;Conway,1971
5. J. Engelfriet, G. Rozenberg, Fixed point languages, equality languages, and representation of recursively enumerable languages, J. ACM 27 (3) (1980) 499–518. Available from: .