1. Combining the robustness of checked exceptions with the flexibility of unchecked exceptions using anchored exception declarations;van Dooren,2005
2. Design Patterns: Elements of Reusable Object-Oriented Software;Gamma,1995
3. Featherweight Java: a minimal core calculus for Java and GJ;Igarashi;ACM Trans. Program. Lang. Syst.,2001
4. A programmer's reduction semantics for classes and mixins;Flatt,1999