Structured Object-Oriented Formal Language and Method - Miao, Huaikou (Springer International Publishing, 2020)