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