@workingPaper{Hense_1990,
title={Polymorphic type inference for a simple object oriented programming language with state},
author={Hense, Andreas V.},
doi={http://dx.doi.org/10.22028/D291-26148},
year={1990}
}