SETL2SETL with more conventional Ada-like syntax, lexical scope, full block structure, first-class functions and a package and library system. Ported to OS/2, MS-DOS (3.1 up), Extended MS-DOS (80286 and higher processors with extended memory), Macintosh (with the MPW environment), Sun-3 (SunOS 4), Sun-4 (SunOS 4), IBM RS/6000 (AIX 3.1), DEC RISC product line (Ultrix 4.0), DEC Vaxen (Mt. Xinu Unix or VMS). ftp://cs.nyu.edu/pub/languages/setl2. Please e-mail Kirk Snyder <[email protected]> if you take a copy. ["The SETL2 Programming Language", W. Kirk Snyder, Courant Inst TR 490, Jan 1990].
Set Equation Transformation System ♦ Setext ♦ SETL ♦ SETL2 ♦ SETL/E ♦ Set Priority Level ♦ SETS
Try this search on Wikipedia, Wiktionary, Google, OneLook.