Amtoft, T. (1993) “Strictness Types: An Inference Algorithm and an Application”, DAIMI Report Series, 22(448). doi: 10.7146/dpb.v22i448.6765.