Program by refinement, as exemplified by the setl representation sublanguage (1979)

by R Dewar, A Grand, S C Liu, J T Schwartz, E Schonberg
Venue:TOPLAS