Génération automatique de spécifications VDM à partir d'un schéma conceptuel de données. - Regine Laleau; Nassim Hadj Rabia (INFORSID, 1995)

The Complexity of Formal Specifications - Assessments by alpha-Metric. - Peter Kokol; Vili Podgorelec; Henri Habrias; Nassim Hadj Rabia (ACM SIGPLAN Notices, 1999)

Ranking the Complexity of NIAM Conceptual Schemas by Alpha Metric. - Peter Kokol; Vili Podgorelec; Henri Habrias; Nassim Hadj Rabia (ACM SIGPLAN Notices, 2000)