The Haskell Road to Logic, Maths and Programming (Texts in Computing) 2004 · ENGLISH · PDF View details →