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