Text this: The Haskell road to logic, maths and programming /