Structured Object-Oriented Formal Language and Method - Liu; Duan, Zhenhua (Springer International Publishing, 2015)