Programming with sets. An introduction to SETL - Schwartz, Jacob T. (Springer, 1986)