1. ANDRE C.: Sur une méthode de conception assistée par ordinateur des systèmes logiques à évolutions simultanées. Thèse Doc. 3è cycle, Univ. de Nice, Juin 1975.
2. ANDRE C., ARMAND P., BOERI F.: Synchronic relations and applications in parallel computation. Digital Process, 1979.
3. ANDRE C., BOERI F., MARIN J.: Synthèse et réalisation des systèmes logiques à évolutions simultanées. Revue Rairo-Automatique, Vol.10, no 4,pp.67–86.
4. ANDRE C., BOERI F.: The behaviour equivalence and its aplications in Petrinets analysis. Journées d'étude AFCET, Schémas de contrôle des systèmes informatiques et automatiques, Paris Sept. 1979.
5. ARMAND P.: Un langage de spécification de systèmes parallèles. Description de la synchronisation par des réseaux de Petri. Thèse de Doc. 3è cycle, Univ. de Nice Nov. 79.