1. F. Baader, R. Küsters, Unification in a description logic with transitive closure of roles, Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2001, Havana, Cuba, December 3–7, 2001, Lecture Notes in Computer Science, Vol. 2250, Springer, Berlin, 2001, pp. 217–232.
2. Parties rationnelles du groupe libre;Benois;C. R. Acad. Sci. Paris Ser. A,1969
3. Transductions and Context-Free Languages;Berstel,1979
4. String-Rewriting Systems;Book,1993
5. Regular canonical systems;Büchi;Arch. Math. Logik Grundlag.,1964