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