1. Utilisation des Transformations Sémantiques pour la correction automatique des Programmes;Adam;Thèse de Doctorat d'Etat, Paris VI,1978
2. Décomposition du graphe d'un programme permettant d'étudier la permutabilité des groupes d'instructions;Adam,1976
3. Adam, A. and Laurent, J.P., Décomposition complète d'un graphe en fuseaux. Applications au graphe d'un programme, Annexe commun aux thèses d'état.
4. Le système de programmation structuréexel;Arsac;Rev. Tech. Thomson-CSF,1974