The Haskell road to logic, maths and programming, 2nd ed. (texts in computing, vol.4)/ Doets - Doets, Kees; (and Jan Van Eijjck)