Oxhøj, N.; Palsberg, J.; Schwartzbach, M. I. Making Type Inference Practical. DPB 1992, 21.