Notation as a tool of thought
Communications of the ACM, vol. 23, no. 8, 1980, pp. 444–465
Quotes from this work
The thesis of the present paper is that the advantages of executability and universality found in programming languages can be effectively combined, in a single coherent language, with the advantages offered by mathematical notation.