Peter Kokol Vili Podgorelec Henri Habrias Nassim Hadj Rabia The Complexity of Formal Specifications - Assessments by alpha-Metric. 84-88 1999 34 SIGPLAN Notices 6 db/journals/sigplan/sigplan34.html#KokolPHR99