Structured Object-Oriented Formal Language and Method - Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan (Springer, 2020)