J. Palsberg and M. I. Schwartzbach, “Safety Analysis versus Type Inference”, DPB, vol. 21, no. 389, Mar. 1992.