Structured Object-Oriented Formal Language and Method - Liu, Shaoying (Springer International Publishing, 2020)