@doctoralThesis{Hense_1994, title={Polymorphic type inference for object-oriented programming languages}, author={Hense, Andreas V.}, doi={http://dx.doi.org/10.22028/D291-25899}, year={1994} }