Issue No. 01 - January/February (1985 vol. 2)
B. Meyer , University of California
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.
B. Meyer, "On Formalism in Specifications", IEEE Software, vol. 2, no. , pp. 6-26, January/February 1985, doi:10.1109/MS.1985.229776