@workingPaper{HenseSmolka_1993,
title={Principal types for object-oriented languages},
author={Hense, Andreas V. and Smolka, Gert},
doi={http://dx.doi.org/10.22028/D291-26132},
year={1993}
}