Les Principes essentiels d'une méthodologie nouvelle pour la synthèse de programmes à partir de spécifications formelles — Marta Franova