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