Indécidabilité de la condition IRS Jean-Michel Autebert; Joffroy Beauquier; Luc Boasson; Michel Latteux — 1982 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Motifs et bases de langages Jean-Michel Autebert; Luc Boasson; Michel Latteux — 1989 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications