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

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

Languages mentioned ALEPH {1970}