Oxhøj, N., J. Palsberg, and M. I. Schwartzbach. “Making Type Inference Practical”. DAIMI Report Series, vol. 21, no. 385, Feb. 1992, doi:10.7146/dpb.v21i385.6618.