The Haskell road to logic, maths and programming - Doets, Kees (Texts in computing, 2004)