Structured Object-Oriented Formal Language and Method - Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan (Springer, 2018)