N. Oxhøj, J. Palsberg, og M. I. Schwartzbach, “Making Type Inference Practical”, DPB, bd. 21, nr. 385, feb. 1992.