![]() | ![]() |
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] |