Structured Object-Oriented Formal Language and Method - Miao; Duan, Zhenhua; Liu, Shaoying; Tian, Cong (Springer International Publishing, 2020)