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.

Kenneth E. Iverson, Notation as a tool of thought, Communications of the ACM, vol. 23, no. 8, 1980, pp. 444–465