Object-oriented modeling

OOP = Contracts + Refinements


slide: Object-oriented modeling