Inheritance

• Classes as Specifications
• Specification Inheritance
• Polymorphism
• Defeasible Inheritance