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