1. Ole Agesen. The Cartesian Product Algorithm: Simple and Precise Type Inference of Parametric Polymorphism. In ECOOP'95, Ninth European Conference on Object-Oriented Programming, p. 2–26, århus, Denmark, August 1995. Springer-Verlag LNCS 952.
2. Ole Agesen and Urs Hölzle. Type Feedback vs. Concrete Type Inference: A Comparison of Optimization Techniques for Object-Oriented Languages. In OOPSLA'95, Object-Oriented Programming Systems, Languages and Applications, p. 91–107, Austin, TX, October 1995.
3. Apple Computer, Inc. Object Pascal User's Manual. Cupertino, 1988.
4. David Bernstein, Yaroslav Fedorov, Sara Porat, Joseph Rodrigue, and Eran Yahav. Compiler Optimization of C++ Virtual Function Calls. 2nd Conference on Object-Oriented Technologies and Systems, Toronto, Canada, June 1996.
5. Brad Calder, Dirk Grunwald, and Benjamin Zorn. Quantifying Behavioral Differences Between C and C++ Programs. Journal of Programming Languages 2:313–351, 1994.