Samson Abramsky Thomas P. Jensen A Relational Approach to Strictness Analysis for Higher-Order Polymorphic Functions. 49-54 1991 conf/popl/1991 POPL db/conf/popl/popl91.html#AbramskyJ91 https://doi.org/10.1145/99583.99593 https://www.wikidata.org/entity/Q57006933