1. BENOIS, M.: Parties rationnelles du groupe libre, C. R. Acad. Sci. PARIS A 269 (1969) 1188–1190.
2. BERSTEL, J.: Congruences plus-que-parfaites et languages algébriques, Séminaire d'Informatique Théorique (75/76/77) PARIS VI–VII, 123–147.
3. BOASSON, L.: Paries itérantes et languages algébriques, Thèse Sc. Math., Univ. PARIS VII (1974).
4. BUTZBACH, P.: Une famille de congruences de Thue pour lesquelles le problème de l'équivalence est décidable. Application à l'équivalence des grammaires séparées, in M. Nivat (éd.) Automata, Languages and Programming, North-Holland (1973) 3–12.
5. BUTZBACH, P.: Sur l'équivalence des grammaires simples, in J.P. Crestin et M. Nivat (éd.) Langages Algébriques, actes des journées d'informatique théorique de Bonascre 1973, ENSTA (1978), 223–245.