The Haskell road to logic, maths and programming / Kees Doets, Jan van Eijck. - Doets, Kees (Texts in computing ;, 2004)