Outils logiques pour le traitement du temps. De la linguistique a lintelligence artificielle - Bestougeff Helene; Ligozat Gerard (Paris : Masson, 1989)
Etudes et Recherches en Informatique.