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


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