Programming with sets: An Introduction to SETL (1986)

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