Sets logic and maths for computing - Makinson, David (2008)