Structured Object-Oriented Formal Language and Method - Tian (Springer International Publishing, 2018)