IRIA Laboria, Laboratoire de recherche en informatique et automatique, Preuves de descriptions de traitements de textes par attributs, C. Pair, M. Amichahy, D. Néel, Rapport de recherche n°163
Du problème à sa solution, C. Pair, Institut national Polytechnique de lorraine, Nancy Ce texte a servi de base à un exposé aux journées "Logiques et programmation"
Du problème à sa solution, C. Pair, Institut national Polytechnique de lorraine, Nancy Ce texte a servi de base à un exposé aux journées "Logiques et programmation"