@workingPaper{Rossberg_2003, title={Generativity and dynamic opacity for abstract types (extended version)}, author={Rossberg, Andreas}, doi={http://dx.doi.org/10.22028/D291-25766}, year={2003} }