Logical foundations of functional programming. - Huet, Gerard (London : Addison-Wesley Publishing Company, Inc., 1990)