LOGICAL FOUNDATIONS OF FUNCTIONAL PROGRAMMING - Huet, Gerard (Reading, Mass. Addison-Wesley, 1990)
Keywords: Functional Programming (Computer Science)