Analyse des structures symboliques manipulées dans les langages de spécification : proposition et évaluation de stratégies adaptées au contrôle de la qualité : application au langage LDS / Farid Ammar-Boudjelal ; sous la direction de Jean-Yves Lafaye / Grenoble : Atelier national de reproduction des thèses , 1999