1. H. Abdulrab: Résolution d'Équations sur les Mots: Étude et Implémentation LISP de l'Algorithme de Makanin. (Thèse), University of Rouen (1987). And Rapport LITP 87-25, University of Paris-7 (1987).
2. H. Abdulrab: Equations in Words. RAIRO d'Informatique Théorique, vol. 24, n. 2, p. 109–130 (1990).
3. H. Abdulrab: On the normalization lemma of Makanin's Algorithm. Research Rapport, LIR (1990).
4. H. Abdulrab, J-P. Pécuchet: Solving Word Equations, Journal of Symbolic Computation,(1989) 8, 499–521.
5. A. Colmeraur: Une Introduction à PROLOG-3. Faculté des sciences de Luminy, Marseille. Juillet (1987).