Bjorn De Sutter, Frank Tip, Julian Dolby: Customization of Java Library Classes Using Type Constraints and Profile Information. ECOOP 2004: 585-610