SOFL

Structured Object-Oriented Formal Language