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