Structured Object-Oriented Formal Language and Method - Duan (Springer International Publishing, 2019)