1. Abadi, M., Cardelli, L., Pierce, B., Plotkin, G.: Dynamic typing in a statically typed language. ACM Trans. on Progr. Languages and Systems 13(2) (April 1991)
2. Aldrich, J., Chambers, C., Notkin, D.: Architectural reasoning in archjava. In: Proc. of the European Conf. on Object-Oriented Programming. Springer-Verlag, Heidelberg (2002)
3. Ancona, D., Zucca, E.: A calculus of module systems. Journal of Functional Programming 12(2), 91–132 (2002)
4. Bierman, G., Hicks, M., Sewell, P., Stoyle, G.: Formalizing dynamic software updating. In: Proc. of the Int. Workshop on Unanticipated Software Evolution (2003)
5. Bono, V., Patel, A., Shmatikov, V.: A core calculus of classes and mixins. In: Proc. of the European Conf. on Object-Oriented Programming. Springer-Verlag, Heidelberg (1999)