Programming in F - Ellis (Addison-Wesley, 1998)