Silbermann F.S.K. et al, "Set Abstraction in Functional and Logic Programming" ACM Proc 1989.

Languages mentioned

• SEL {1990}