David Bacon: Setl for Internet data processing.
PhD. thesis New York University 2000, 430p.

17404 Domenico Cantone/Eugenio Omodeo/Alberto Policriti: Set theory for computing.
Springer 2001, 400p. $80.

17351 Roberto De Leo: An invitation to Setl. Linux Journal ... (2004), ...

17350 Robert Dewar/Robert Hummel: A gentle introduction to the Setl2 programming
language. Internet ca. 2000, 26p.

Ed Dubinsky: ISETL - a programming language for learning mathematics.
Comm. Pure Appl. Math. 48 (1995), 1027-1051.

2250 J. Schwartz/R. Dewar/E. Dubinsky/E. Schonberg: Programming with sets.
Springer 1986.