Structured Object-Oriented Formal Language and Method by Shaoying Liu