Subsections:
Object terminology
Object computation
Design by Contract