The Haskell Road to Logic, Maths and Programming. Second EditionKees Doets, Jan van Eijck2004PDF1.2 MB