Programming with sets an introduction to SETL (Springer, 1986)