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