Programming with sets: and introduction to SETL (1986)

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