You are about to access our book library "Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers (Lecture Notes in Computer Science Book 7787) full version" .