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