The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)