Programming with Sets: An Introduction to SETL (1986)

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