1. Dubuit Mercier, Utilisation des machines simulées niv 1 à niv 5, Laboratoire d'informatique Nancy I, Rapports internes.
2. Conception et réalisation d'un moniteur temps réel pour un système multi-microprocesseur;Lagier;Thèse de Docteur Ingénieur Université de Nancy,1976
3. Une méthode déductive de programmation;Pair,1974