Structured Object-Oriented Formal Language and Method - Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan (Springer, 2021)