Méthode progressive de synthèse et de vérification de programmes parallèles. - Pascal Gribomont (1985)