Samson Abramsky: Strictness analysis and polymorphic invariance. Programs as Data Objects 1985: 1-23