Adequacy for a Lazy Functional Language with Recursive and Polymorphic Types. - Bettina Blaaberg; Christian Clausen (Theor. Comput. Sci., 1994)