subsections:
Structure versus behavior
Model-based specification
Abstract systems