Source : Free On-Line Dictionary of Computing

SETL2
     
        {SETL} with more conventional {Ada}-like syntax, {lexical
        scope}, full block structure, {first-class function}s 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  if you take a copy.
     
        ["The SETL2 Programming Language", W. Kirk Snyder, Courant
        Inst TR 490, Jan 1990].