Rossberg. Generativity and Dynamic Opacity for Abstract Types. ACM Press, 2003, doi:10.1145/888251.888274.