| |
| 1979 | ||
|---|---|---|
| 1 | EE | Robert B. K. Dewar, Arthur Grand, Ssu-Cheng Liu, Jacob T. Schwartz, Edmond Schonberg: Programming by Refinement, as Exemplified by the SETL Representation Sublanguage. ACM Trans. Program. Lang. Syst. 1(1): 27-49 (1979) |
| 1 | Robert B. K. Dewar | [1] |
| 2 | Ssu-Cheng Liu | [1] |
| 3 | Edmond Schonberg | [1] |
| 4 | Jacob T. Schwartz | [1] |