Programming with Sets by J.T. Schwartz & R.B.K. Dewar