1. Agesen, O., Palsberg, J., and Schwartzbach, M. I., “Type Inference For SELF: Analysis of Objects With Dynamic and Multiple Inheritance,” Proc. of ECOOP’93, Kaiserslautern, Germany, July 1993, pp. 247–267.
2. Calder, B., Grunwald, D., and Zorn, B. “Quantifying Behavioral Differences Between C and C++ Programs,” Tech. Rep. CU-CS-698–94, Dept. of Computer Sci., Univ. of Colorado, Boulder, Jan 1994, pp. 1–28.
3. Cytron, R., et al., “Efficiently Computing Static Single Assignment Form and the Control Dependence Graph,” ACM TOPLAS, Vol. 13, No. 4, Oct 1991, pp. 451–490.
4. Gautron, P. and Shepard, T., “Static Typing Without Explicit Types,” Technical Report, Dept. of Electrical and Computer Engg., Royal Military College of Canada, Ontario, Canada, 1994.
5. Oxhrj, N., Palsberg, J., and Schwartzbach, M. I., “Making Type Inference Practical,” Proc. of ECOOP, Springer-Verlag, LNCS 615, Utrecht, The Netherlands, July 1992.