Le Calcul des Fermetures dans les Lamda-Langages. - Jean-Louis Durieux (ICFPC, 1981)

Une Charpente De Semi-Unification. - Jean-Louis Durieux; Emmanuel Saint-James (RAIRO Theor. Informatics Appl., 1988)

Handling Interaction in Software Specification. - J. Christian Attiogbé; Jean-Louis Durieux (VCHCI, 1993)