Formalism in programming languages — scholarly article by Kenneth E. Iverson published 1 February 1964 in Communications of the ACM