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