ProSet

from The Free On-line Dictionary of Computing (8 July 2008)

ProSet
SETL/E

   A derivative of {SETL} with {Ada}-like {syntax} developed at
   the {University of Essen} in 1990.  Formerly known as SETL/E.

   ["SETL/E, A Prototyping System Based on Sets", E.E. Doberkat
   et al, in Tagungsband TOOL90, W. Zorn ed, pp. 109-118, U
   Karlsruhe, Nov 1990].

   ["ProSet - A Language for Prototyping with Sets",
   E.-E. Doberkat et al, in Proc Third Intl Workshop on Rapid
   System Prototyping, N.  Kanopoulos ed, IEEE Comp Soc Press,
   June 1992, pp. 235-248].