Automatic Data Structure Choice in Setl. - Ssu-Cheng Liu (1978)

Programming by Refinement, as Exemplified by the SETL Representation Sublanguage. - Robert B. K. Dewar; Arthur Grand; Ssu-Cheng Liu; Jacob T. Schwartz; Edmond Schonberg (ACM Trans. Program. Lang. Syst., 1979)