Research Topics in Functional Programming - Turner, David A. (Addison-Wesley Publishing Company, 1990)