Structured Object-Oriented Formal Language and Method by Vitalsource Technologies