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