Oxhøj, Nicholas, et al. “Making Type Inference Practical”. DAIMI Report Series, vol. 21, no. 385, Feb. 1992, doi:10.7146/dpb.v21i385.6618.