subsections:
Object terminology
Object computation
Design by Contract