Programming by refinement, as exemplified by the SETL representation sublanguage (1979)

by R B K DEWAR, A GRAND, S-C LIU, J T SCHWARTZ, E SCHONBERG
Venue:ACM Trans. Program. Lang. Syst