Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers - Liu, Shaoying. (Springer Berlin Heidelberg : Imprint: Springer, 2013)