Programming with sets; an introduction to SETL, SpringerVerlag (1986)

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