Constable, Robert L. and Donahue, James E. "A Hierarchical Approach to Formal Semantics With Application to the Definition of PL/CS"

(1979) TOPLAS 1(1) Jan 1979  

Languages mentioned PL/CS {1974} PL/I subdialect for the CPS