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