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