@doctoralThesis{Henz_1997,
title={Objects in Oz},
author={Henz, Martin},
doi={http://dx.doi.org/10.22028/D291-25701},
subtitle={Objekte in Oz},
year={1997}
}