@workingPaper{Rossberg_2002,
title={Dynamic opacity for abstract types},
author={Rossberg, Andreas},
doi={http://dx.doi.org/10.22028/D291-25774},
year={2002}
}