Applying Software Metrics to Formal Specifications: A Cognitive Approach. - Rick Vinter; Martin J. Loomes; Diana Kornbrot (IEEE METRICS, 1998)

Evaluating formal specifications : a cognitive approach. - Ricky Jay Vinter (1998)