Structured Object-Oriented Formal Language and Method - Liu (Springer International Publishing, 2017)