Laurent Herr: Le Langage de RequĂȘte Temporel FTL. BDA 1995: 447-