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. 1, pp. 6-26, January/February 1985, doi:10.1109/MS.1985.229776