Programming with sets an introd. to SETL (Springer, 1986)