See J T Schwartz, et al, Programming with sets : an introduction to SETL. Springer, 1986. - xv, 493p. - ISBN 0387963995.
See also: SETL implementations.