Source : Free On-Line Dictionary of Computing

SETL
     
        SET Language.  A very high level language based on sets,
        designed by Jack Schwartz at the {Courant Institute} in the
        early 1970s.  It was possibly the first use of {list
        comprehension} notation.
     
        Data types include sets (unordered collections), {tuple}s
        (ordered collections) and maps (collections of ordered pairs).
        Expressions may include {quantifier}s ('for each' and
        'exists').  The first {Ada} translator was written in SETL.
     
        See also {ISETL}, {ProSet}, {SETL2}.
     
        ["Programming With Sets - An Introduction to SETL", Jacob
        T. Schwartz et al, Springer 1986].