Palsberg, J., and M. I. Schwartzbach. “Binding Time Analysis: Abstract Interpretation Vs. Type Inference”. DAIMI Report Series, vol. 21, no. 393, Apr. 1992, doi:10.7146/dpb.v21i393.6628.