Functional Programming. Practice and Theory - MacLennan, Bruce J (Addison-Wesley, 1989)