Kenneth Iverson "Formalism in Programming Languages"

(1964)

[ACM] CACM 7(02) (Feb 1964) includes Papers prese (1964) [ACM] CACM 7(02) (Feb 1964) includes Papers presented at a Working Conference on Mechanical Language Structures, Princeton, N. J., August 1963  

Languages mentioned