Holstege, Eric J. (1982) Type Inference in a Declarationless, Object-Oriented Language. Master's thesis, California Institute of Technology. https://resolver.caltech.edu/CaltechTHESIS:04112012-080413185