1. An imperative object calculus;Abadi,1995
2. Typestate-oriented programming;Aldrich,2009
3. The Fortress Language Specification, Version 1.0;Allen,2008
4. Jam—designing a Java extension with mixins;Ancona;ACM TOPLAS,2003
5. Type safe dynamic object delegation in class-based languages;Bettini,2008