@conferenceObjectPart{Rossberg_2003, title={Generativity and dynamic opacity for abstract types}, author={Rossberg, Andreas}, doi={http://dx.doi.org/10.22028/D291-25672}, year={2003} }