[ACM] CACM 15(11) (Nov 1972)

(1957) Communications of the ACM  

Henderson, Peter (1972) Henderson, Peter "Derived semantics for some programming language constructs" pp967-973