Programming by Refinement, as Exemplified by the SETL Representation Sublanguage (1979)

by R Dewar
Venue:A CM Transactions on Programming Languages and Systems