1. H. Abdulrab. “Résolution d'équations sur les mots: étude et implémentation LISP de l'algorithme de Makanin”. (Thèse), Université de Rouen (1987). And Rapport LITP 87-25, Université de Paris-7, 1987.
2. H. Abdulrab. “Implementation of Makanin's algorithm”. Proceedings of IWWERT'90, Tubingen, RFA, LNCS, Springer-Verlag N. 572, Edited by Prof. K. Schulz, 1990.
3. H. Abdulrab, “de Common Lisp à la Programmation Objet”, Editions HERMES, 1990.
4. H. Abdulrab, “Logic, Objects and Parallelism”, (full paper), Rapport Technique LITP 91/60, 1991.
5. M. Carlsson, “Freeze, Indexing, and Other Implementation Issues in the WAM”, in Logic Programming: Proceedings of the Fourth International Conference, MIT Press, Vol. 1, pp. 40–58, 1987.