Méthode axiomatique sur les propriétés de fatalité des programmes parallèles Dominique Mery (1987) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Modélisation d'une architecture parallèle pour le traitement d'images Pierre Houeix, Monique Becker (1988) RAIRO - Operations Research - Recherche Opérationnelle
Modelling the dynamical behaviour of computer systems Capelo, António Cândido (1982) Portugaliae mathematica