Key points are not available for this paper at this time.
A critique of a natural-language specification, followed by presentation of a mathematical alternative, demonstrates the weakness of natural language and the strength of formalism in requirements specifications.
Bertrand Meyer (Tue,) studied this question.