An Introduction to Functional Programming Through Lambda Calculus (Dover Books on Mathematics)
Learn You a Haskell for Great Good!: A Beginner's Guide
Thinking Functionally with Haskell
From Simple IO to Monad Transformers