N. Oxhøj, J. Palsberg, and M. I. Schwartzbach, “Making Type Inference Practical”, DPB, vol. 21, no. 385, Feb. 1992.