Research topics in functional programming - Turner, David A. (Addison-Wesley Publishing, 1990)