Programming with Sets---An Introduction to SETL (1986)

by J T Schwartz, R B K Dewar, E Dubinsky, E Schonberg