The Haskell Road to Logic, Math and Programming - Doets, Kees (UK: College Publications, 2012)
Keywords: Logic programming; Logic, Symbolic and mathematical