A Relational Approach to Strictness Analysis for Higher−Order Polymorphic Functions - Abramsky, S; Jensen, T (ACM Press, 1991)