TOPLAS 1(1) Jan 1979

() ACM Transactions on Programming Languages and Systems (TOPLAS)  

Constable, Robert L. and Donahue, James E. (1979) Constable, Robert L. and Donahue, James E. "A Hierarchical Approach to Formal Semantics With Application to the Definition of PL/CS" Dewar, Robert K.; Arthur and Ssu-Cheng Liu; and Sc (1979) Dewar, Robert K.; Arthur and Ssu-Cheng Liu; and Schwartz, Jacob T. and Schonberg, Edmond "Programming by Refinement, as Exemplified by the SETL Representation Sublanguage"