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"

(1979) TOPLAS 1(1) Jan 1979  

Languages mentioned SETL {1970} Set based programming language

Cites Barnard, D. (1980) Barnard, D. T., review of Dewar 1978 Style: Full cite; Extent: Review; Nature: Positive, slightly critical