Effects of structure on the comprehensivility of formal specifications.

Measuring the comprehensibility of Z specifications.

Mathematical Notation in Formal Specification: Too Difficult for the Masses?

Evaluating the Effectiveness of Z: The Claims Made About CICS and Where We Go From Here.