Logical foundations of functional programming - Huet, Grard; Huet, Gerard (The UT year of programming series, 1990)