1. E. AUDUREAU, L. FARINAS, J. HENRY "Logique multidimensionnable structurée" in "Logique Temporelle pour les réseaux de processus communiquant". Contrat ADI no 82/682. Final Report.
2. A. ARNOLD, M. NIVAT "Comportement de processus" — Rapport LITP, University of Paris VII (1982).
3. F. BOUSSINOT et al "A language for formal description of real time systems". Safety of Computer Control System 1983, p. 119–126.
4. P. ENJALBERT, L. FARINAS, M. MICHEL "Logique Temporelle pour les Réseaux de Processus communiquant par file". T-R no 2878 — LCR — Thomson-CSF, (1983).
5. P. ENJALBERT "Un théorème de complétude pour une logique multitemporelle typée". T-R no 2917 — LCR — Thomson-CSF, (1983).