Structured Object-Oriented Formal Language and Method Second International Workshop, Sofl 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers by Shaoying Liu | Menrva Books | MenrvaBooks