ProSet
ProSet
["SETL/E, A Prototyping System Based on Sets", E.E. Doberkatet al, in Tagungsband TOOL90, W. Zorn ed, pp. 109-118, UKarlsruhe, Nov 1990].
["ProSet - A Language for Prototyping with Sets",E.-E. Doberkat et al, in Proc Third Intl Workshop on RapidSystem Prototyping, N. Kanopoulos ed, IEEE Comp Soc Press,June 1992, pp. 235-248].