Palsberg, J.; Schwartzbach, M. I. Safety Analysis Versus Type Inference. DPB 1992, 21.