On Formalism in Specifications
Bertrand Meyer · IEEE Software · 1985
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.