Programming with Sets
Using set-theoretic primitives as a conceptual tool in programming, includes discussion of SETL and MIRANDA languages.

No queries for www.cs.nmsu.edu/~complog/sets