@workingPaper{Hense_1990, title={The denotational semantics of an object oriented programming language}, author={Hense, Andreas V.}, doi={http://dx.doi.org/10.22028/D291-26461}, year={1990} }