SETL2 - SETL with more conventional Ada-like syntax, lexical scoping, full
block structure, first-class functions and a package and library system.
Kirk Snyder. "The SETL2 Programming Language",
W. Kirk Snyder, Courant Inst TR 490, Jan 1990.
ftp://cs.nyu.edu, for MS-DOS, OS/2, Mac, Unix workstations
Comments, Experience, Additions
Next Language: SETS