Holstege, Eric J. (1982) Type Inference in a Declarationless, Object-Oriented Language (Thesis (Masters)), California Institute of Technology doi: 10.7907/sa4t-bn94