List of books essentially for functional programming