Sur le nombre de registres nécessaires à l'évaluation d'une expression arithmétique Jean Françon — 1984 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Arbres binaires de recherche : propriétés combinatoires et applications Jean Françon — 1976 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Histoires de fichiers Jean Françon — 1978 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Une approche quantitative de l'exclusion mutuelle Jean Françon — 1986 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications