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