Structured Object-Oriented Formal Language and Method - Shaoying Liu, Zhenhua Duan (Springer, 2016)