Programming with sets; an introduction to SETL (1986)

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