Structured Object-Oriented Formal Language and Method - Liu (Springer Berlin Heidelberg, 2013)