SchonbergEdmond

Programming by Refinement, as Exemplified by the SETL Representation Sublanguage

B K DewarRobert, GrandArthur, LiuSsu-Cheng, 1979 .

An Automatic Technique for Selection of Data Representations in SETL Programs

T SchwartzJacob, SchonbergEdmond, SharirMicha, 1981 .

The NYU Ada translator and interpreter

B K DewarRobert, SchonbergEdmond, BurkeMichael, 1980 .