Programming with sets An introduction to SETL - Dewar, R.; Dubinsky, E.; Schonberg, E.; Schwartz, J. T. (Springer-Verlag, 1986)