Recherche des solutions d'une équation de convolution. - Jacques J. Arsac (IFIP Congress, 1962)

Langages sans Etiquettes et Transformations de Programmes. - Jacques J. Arsac (ICALP, 1974)

Emploi de Méthodes Constructives en Programmation. Un Dossier: La Fonction d'Ackermann. - Jacques J. Arsac (RAIRO Theor. Informatics Appl., 1977)

Syntactic Source to Source Transforms and Program Manipulation. - Jacques J. Arsac (Commun. ACM, 1979)

Some Techniques for Recursion Removal from Recursive Programs. - Jacques J. Arsac; Yves Kodratoff (ACM Trans. Program. Lang. Syst., 1982)

Foundations of programming. - Jacques J. Arsac (Academic Press, 1985)

La Fonction D'ackermann: Un Nouveau Mode de Dérécursivation. - Jacques J. Arsac (RAIRO Theor. Informatics Appl., 1986)

Algorithmes pour Vérifier La Conjecture De Syracuse. - Jacques J. Arsac (RAIRO Theor. Informatics Appl., 1987)