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

by Robert B K Dewar, Arthur Grand, Ssu-Cheng Liu, Jacob T Schwartz, Edmond Schonberg
Venue:ISSN