Doberkat, E.-E.et al "ProSet A Language for Prototyping with Sets"

(1992) IEEE Software 9(5) September/October 1992  

Languages mentioned ProSet {1990}