Formalism in Programming Languages*
CACM February, 1964
Iverson, K. E.
